Similar to Option型
型推論
Type inferenceNix (パッケージ管理システム)
Nix (package manager)Result型
Result type型クラス
Type class始代数
Initial algebra代数的データ型
Algebraic data type無名関数
Anonymous functionNullable型
Nullable typeウガンダの音楽
Music of Uganda依存型
Dependent type抽象データ型
Abstract data typeデータ型
Data type変数 (プログラミング)
Variable (computer science)関数型プログラミング
Functional programmingCatamorphism
CatamorphismCEK機械
CEK MachineFrenetic
Frenetic (programming language)F代数
F-algebraSECDマシン
SECD machineカリー化
Currying高階関数
Higher-order function参照透過性
Referential transparency不動点コンビネータ
Fixed-point combinatorサイモン・ペイトン・ジョーンズ
Simon Peyton Jonesモナド (プログラミング)
Monad (functional programming)ラムダ計算
Lambda calculus-ington
-ington第1独立特務旅団 (ウクライナ領土防衛隊)
1st Special Purpose Brigade (Ukraine)