Similar to GNU_Guix
GNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)
GNU-Darwin
GNU-Darwin
関数型プログラミング
Functional programmingCatamorphism
Catamorphism
CEK機械
CEK MachineFrenetic
Frenetic (programming language)
F代数
F-algebra
Option型
Option typeResult型
Result type
SECDマシン
SECD machine
型クラス
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
第7機甲旅団 (イスラエル国防軍)
7th Armored Brigade (Israel)第8機甲旅団 (イスラエル国防軍)
8th Armored Brigade (Israel)第36機甲師団 (イスラエル国防軍)
36th Division (Israel)
071型揚陸艦
Type 071 amphibious transport dock第98空挺師団 (イスラエル国防軍)
98th Paratroopers Division