Similar to Option型
型推論
Type inference
Result型
Result type
型クラス
Type class
始代数
Initial algebra
代数的データ型
Algebraic data type
無名関数
Anonymous function
Nullable型
Nullable type
ウガンダの音楽
Music of Uganda
依存型
Dependent type
抽象データ型
Abstract data type
データ型
Data type
変数 (プログラミング)
Variable (high-level programming)
関数型プログラミング
Functional programming
Catamorphism
Catamorphism
CEK機械
CEK MachineFrenetic
Frenetic (programming language)
F代数
F-algebraGNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)
SECDマシン
SECD machine
カリー化
Currying
高階関数
Higher-order function
参照透過性
Referential transparency
不動点コンビネータ
Fixed-point combinator
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
モナド (プログラミング)
Monad (functional programming)ラムダ計算
Lambda calculus-ington
-ington