Similar to 代数的データ型
Option型
Option type
型推論
Type inference
無名関数
Anonymous functionラムダ計算
Lambda calculus
再帰データ型
Recursive data type
0
0
関数型プログラミング
Functional programming
Catamorphism
Catamorphism
CEK機械
CEK MachineFrenetic
Frenetic (programming language)
F代数
F-algebraNix (パッケージ管理システム)
Nix (package manager)Result型
Result type
SECDマシン
SECD machine
型クラス
Type class
カリー化
Currying
高階関数
Higher-order function
参照透過性
Referential transparency
始代数
Initial algebra
不動点コンビネータ
Fixed-point combinator
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
モナド (プログラミング)
Monad (functional programming)
データ型
Data type
C Sharpのデータ型
FIFO
FIFO (computing and electronics)
LIFO
LIFO
Time t
Void (コンピュータ)
Void type