Similar to Option型
型推論
Type inferenceNix (パッケージ管理システム)
Nix (package manager)Result型
Result type型クラス
Type class始代数
Initial algebra代数的データ型
Algebraic data type無名関数
Anonymous functionHugo (ソフトウェア)
Hugo (software)Jekyll
Jekyll (software)OpenJPEG
OpenJPEGBBC ウィークエンド ニュース
BBC Weekend Newsウクライナ民主主義防衛・レンドリース法
Ukraine Democracy Defense Lend-Lease Act of 2022Nullable型
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