Similar to CEK機械
SECDマシン
SECD machine
関数型プログラミング
Functional programming
Catamorphism
CatamorphismFrenetic
Frenetic (programming language)
F代数
F-algebraNix (パッケージ管理システム)
Nix (package manager)
Option型
Option typeResult型
Result type
型クラス
Type class
型推論
Type inference
カリー化
Currying
高階関数
Higher-order function
参照透過性
Referential transparency
始代数
Initial algebra
代数的データ型
Algebraic data type
不動点コンビネータ
Fixed-point combinator
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
無名関数
Anonymous function
モナド (プログラミング)
Monad (functional programming)ラムダ計算
Lambda calculus
抽象機械
Abstract machineDLX
DLXMIX (プログラミング)
MIX (abstract machine)MMIX
MMIX
チューリングマシン
Turing machine
仮想機械
Virtual machineCoriolis
▲2 trends
Dalvik仮想マシン
Dalvik (software)