Movatterモバイル変換

zyzyid:zyzy

• 27,450ブックマーク
• -お気に入り
• -お気に入られ

タグ

• すべて
• 1Password(1)
• 3DCG(1)
• Algorithm(2)
• BI(1)
• BL(5)
• Blender(5)
• BlueSky(1)
• C(1)
• C++(1)
• CAP定理(1)
• CG(8)
• ChatGPT(4)
• Coq(2)
• DB(2)
• DDD(2)
• Datalog(1)
• DeepSeek(1)
• Dotty(3)
• Elixir(1)
• FPGA(1)
• FRP(1)
• FX(1)
• Git(3)
• GraalVM(1)
• IT(1)
• Idris(4)
• LLM(5)
• LLVM(2)
• Linux(5)
• MMO(2)
• Mojo(1)
• Nim(1)
• Nix(5)
• NixOS(4)
• PC(2)
• PowerShell(1)
• Quine(1)
• RFC(1)
• SEO(1)
• SF(1)
• StableDiffusion(2)
• TCP(1)
• TV(1)
• TypeScript(9)
• Ubuntu(1)
• Unity(1)
• Unreal Engine(2)
• WebAssembly(1)
• Web小説(1)
• ajax(1)
• akka(4)
• bash(2)
• bevy(5)
• blog(1)
• boot(1)
• cdn(1)
• cheatsheet(1)
• chrome(1)
• ci(1)
• database(2)
• deep learning(1)
• deeplearning(2)
• dom(2)
• domain(1)
• erlang(1)
• github(2)
• gltf(2)
• go(4)
• haskell(34)
• html(1)
• http(1)
• javascript(8)
• julia(1)
• kernel(2)
• language(7)
• lean(2)
• line(1)
• lisp(1)
• monad(2)
• network(1)
• nushell(2)
• perl(1)
• posix(1)
• programming(162)
• prolog(1)
• python(10)
• rust(183)
• scala(64)
• scalaz(4)
• sharpless(1)
• shell(2)
• type-system(1)
• unicode(1)
• wasm(4)
• webGL(1)
• web漫画(1)
• zed(3)
• zig(2)
• zip(1)
• お笑い(2)
• けまらしい(1)
• これはこわい(1)
• これはすごい(12)
• これはひどい(3)
• アイデア(1)
• アニメ(8)
• アメリカ(1)
• アルゴリズム(5)
• イラスト(1)
• インターネット(1)
• オリジナル(1)
• ガジェット(3)
• クロージャ(2)
• ゲーミフィケーション(1)
• ゲーム(16)
• ゲームデザイン(28)
• ゲーム史(1)
• ゲーム開発(2)
• コンテンツ(3)
• コンパイラ(3)
• サイコパス(1)
• サブカル(1)
• サーバーレス(1)
• シェルスクリプト(1)
• シナリオ(15)
• ジェンダー(16)
• スケジューラ(1)
• セキュリティ(1)
• ソーシャルゲーム(1)
• ツール(5)
• テスト(1)
• デザイン(7)
• データ(1)
• データベース(1)
• ニセ科学(1)
• ニュース(2)
• ネタ(610)
• ネタアカ(1)
• ネトウヨ(2)
• ハイク(1)
• ハードウェア(1)
• バグ(1)
• ビジネス(2)
• フリー・素材(1)
• ブクマ(1)
• ブクマ用(1)
• ブコメ(9)
• ブコメ用(16)
• プレゼン(3)
• プログラミング(29)
• プロジェクト(1)
• ベーシックインカム(1)
• ボカロ(1)
• マンガ(1)
• ミステリ(1)
• ミソジニー(2)
• メタ(1)
• メタブ(4749)
• メタ部(1)
• モナド(1)
• ユーティリティ(22)
• ライティング(2)
• ライトノベル(1)
• ライフハック(3)
• リファクタリング(1)
• レシピ(3)
• レビュー(2)
• レベルデザイン(2)
• 丸山眞男(1)
• 事件(2)
• 仕事(2)
• 仕事術(1)
• 仕様書(1)
• 企画(1)
• 伊勢神宮(1)
• 似非科学(1)
• 依存型(1)
• 価値観(11)
• 便利(1)
• 分散(1)
• 制作(1)
• 創作(48)
• 創作術(7)
• 創作論(12)
• 勉強(180)
• 動的計画法(1)
• 化が得方(1)
• 南ア(1)
• 参考(63)
• 反サヨク(1)
• 反知性的反ニセ科学実(1)
• 古墳時代(1)
• 哲学(4)
• 圏論(7)
• 地方(1)
• 型(2)
• 型推論(1)
• 変分推論(1)
• 奈良(3)
• 子育て(2)
• 学習(5)
• 宗教(1)
• 定理証明(1)
• 宝塚歌劇(1)
• 密教(1)
• 小ネタ(6)
• 小説(3)
• 廃墟(1)
• 形式手法(1)
• 心理(14)
• 思想(5)
• 思考(1)
• 性(3)
• 怪文書(1)
• 感想(2)
• 懐かし系(1)
• 技術(6)
• 描写(1)
• 撮影テク(1)
• 政治(6)
• 政治科学(3)
• 教育(4)
• 数学(7)
• 文化(3)
• 文字コード(3)
• 文章(4)
• 文章術(1)
• 文芸(1)
• 日本語(5)
• 映画(4)
• 植物工場(1)
• 検索(1)
• 機械学習(10)
• 正規表現(1)
• 歴史(4)
• 歴史や伝承(1)
• 法律(2)
• 浮動小数点数(1)
• 海外ドラマ(1)
• 演出(6)
• 演技(1)
• 漫画(6)
• 無料(1)
• 物理(2)
• 物理学(1)
• 物語(11)
• 物語論(1)
• 特撮(1)
• 犯罪(1)
• 生活保護(1)
• 男女(1)
• 男根主義(1)
• 画像(3)
• 発育(2)
• 発達心理(1)
• 知能(1)
• 研究(2)
• 笑い(3)
• 筆記体(1)
• 素材(1)
• 経済(4)
• 統計学(1)
• 美味しんぼ(1)
• 美術(1)
• 考え(1)
• 考えた(8)
• 考え方(20818)
• 考え方こ(1)
• 考え方そもそも賛成し(1)
• 考え方無関係の(1)
• 考察(135)
• 脚本(11)
• 脳(5)
• 興味(247)
• 色(1)
• 英語(9)
• 萌え(4)
• 表現(5)
• 表現の自由(3)
• 表現手法(6)
• 観光(2)
• 言葉(3)
• 言語(10)
• 設計(10)
• 語学(1)
• 読み物(6)
• 議論(5)
• 議論用(14)
• 資料(67)
• 遅延評価(1)
• 酪農(1)
• 量子コンピュータ(1)
• 金融(1)
• 錯視(1)
• 鎌倉(1)
• 関数型言語(4)
• 雑談(1)
• 電波(1)
• 音楽(6)
• 食べ超(2)
• 魚拓用ブクマ(2)
• 考え方(20818)
• メタブ(4749)
• ネタ(610)
• 興味(247)
• rust(183)
• 勉強(180)
• programming(162)
• 考察(135)
• 資料(67)
• scala(64)

タグをすべて表示

関連タグで絞り込む (1)

• Scala

タグの絞り込みを解除

type-systemに関するzyzyのブックマーク (1)

• Type and Logic in Scala

  • 11 users
  • halcat0x15a.github.io
  • 暮らし

  真偽と型の対応はAnyが全体集合でNothingが空集合であることからもわかる. また, 型の包含関係は次のように記述できる.

  

  zyzy2015/03/12

  Nothingって偽である癖に、あらゆる型のサブタイプであるがために、あらゆる状況で型にマッチしちゃうのが、真偽値として使うのに困る気がするんだけどちゃんと動くからよく分からない。／あ、矛盾だから良いのか

  • Scala
  • type-system

  リンク
• 1

• 総合
• 一般
• 世の中
• 政治と経済
• 暮らし
• 学び

• テクノロジー
• エンタメ
• アニメとゲーム
• おもしろ

• アプリ・拡張機能
• 開発ブログ
• ヘルプ
• お問い合わせ
• ガイドライン
• 利用規約
• プライバシーポリシー
• 利用者情報の外部送信について

• ガイドライン
• 利用規約
• プライバシーポリシー
• 利用者情報の外部送信について

• 公式アカウント
• ホットエントリー