MOC(curated): 言語/型/関数型
curated 派生層の prog-lang ドメイン 17 ページ。_cmoc が全体ハブ。
- delimited-continuations-effects — 継続と代数的効果
concept - existential-types — 存在型とそのエンコーディング
concept - functor-applicative-monad — Functor / Applicative / Monad 階層
concept - hindley-milner-inference — Hindley-Milner型推論
concept - lambda-calculus — ラムダ計算と簡約
concept - optics-lens — Optics と Lens
concept - optimal-reduction — 最適簡約と相互作用ネット
concept - rust-ownership-model — Rustの所有権モデル
concept - subtyping-variance — 部分型と変性
concept - term-rewriting — 項書換えと抽象書き換え
concept - type-theory-lambda-cube — 型理論とλキューブ
concept - haskell-ghc — Haskell と GHC
entitie - herding-cats — Herding Cats (Scala cats チュートリアル)
entitie - hvm-runtime — HVM(Higher-order Virtual Machine)
entitie - proof-assistants — 証明支援系(Coq / Agda / Lean / Isabelle / Idris)
entitie - rust-lang — Rust(言語とエコシステム)
entitie - type-theory-rs — type-theory-rs (構造的部分型の実装)
entitie