Similar to 型推論
F代数
F-algebraNix (パッケージ管理システム)
Nix (package manager)Result型
Result typeSECDマシン
SECD machineカリー化
Currying高階関数
Higher-order function参照透過性
Referential transparency不動点コンビネータ
Fixed-point combinatorサイモン・ペイトン・ジョーンズ
Simon Peyton Jonesモナド (プログラミング)
Monad (functional programming)ラムダ計算
Lambda calculus▲1 trends型理論
Type theoryNullable型
Nullable typeSystem F
System F値 (計算機科学)
Value (computer science)カインド (型理論)
Kind (type theory)型消去
Type erasure型付きラムダ計算
Typed lambda calculusカリー=ハワード同型対応
Curry–Howard correspondence共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)公理型
Axiom schema住性 (型理論)
Type inhabitation順序対
Ordered pair新基礎集合論
New Foundations数学的構造
Mathematical structureダック・タイピング
Duck typing直観主義型理論
Intuitionistic type theoryラムダ・キューブ
Lambda cube