Similar to 型クラス
型推論
Type inference
Option型
Option type
始代数
Initial algebra
依存型
Dependent type
サブタイピング (計算機科学)
Subtyping
10.5インチiPad Pro
1048576
1048576
関数型プログラミング
Functional programming
Catamorphism
Catamorphism
CEK機械
CEK MachineFrenetic
Frenetic (programming language)
F代数
F-algebraGNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)
Result型
Result type
SECDマシン
SECD machine
カリー化
Currying
高階関数
Higher-order function
参照透過性
Referential transparency
代数的データ型
Algebraic data type
不動点コンビネータ
Fixed-point combinator
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
無名関数
Anonymous function
モナド (プログラミング)
Monad (functional programming)ラムダ計算
Lambda calculus
型理論
Type theory
Nullable型
Nullable typeSystem F
System F