Similar to SECDマシン
CEK機械
CEK Machine
抽象機械
Abstract machine
DLX
DLX
MIX (プログラミング)
MIX (abstract machine)MMIX
MMIX
チューリングマシン
Turing machine▼-1 trendsクロージャ
Closure (computer programming)
継続渡しスタイル
Continuation-passing style
短絡評価
Short-circuit evaluation
遅延評価
Lazy evaluation
末尾再帰
Tail call
関数型プログラミング
Functional programmingCatamorphism
CatamorphismFrenetic
Frenetic (programming language)
F代数
F-algebraGNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)
Option型
Option type
Result型
Result type
型クラス
Type class
型推論
Type inference
カリー化
Currying
高階関数
Higher-order function
参照透過性
Referential transparency
始代数
Initial algebra
代数的データ型
Algebraic data type
不動点コンビネータ
Fixed-point combinator
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
