Similar to 参照透過性
関数型プログラミング
Functional programming
Catamorphism
Catamorphism
CEK機械
CEK MachineFrenetic
Frenetic (programming language)
F代数
F-algebraNix (パッケージ管理システム)
Nix (package manager)
Option型
Option typeResult型
Result type
SECDマシン
SECD machine
型クラス
Type class
型推論
Type inference
カリー化
Currying
高階関数
Higher-order function
始代数
Initial algebra
代数的データ型
Algebraic data type
不動点コンビネータ
Fixed-point combinator
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
無名関数
Anonymous function
モナド (プログラミング)
Monad (functional programming)ラムダ計算
Lambda calculus(19308) 1996 TO66
(19308) 1996 TO66
フリースタイルスキー・ワールドカップ
FIS Freestyle Ski World Cup2004 FH
2004 FH
第2軍 (日本軍)
Second Army (Japan)
第四号海防艦
第六潜水艇
第七号駆潜艇
Japanese submarine chaser CH-7
第8師団 (日本軍)
8th Division (Imperial Japanese Army)