Similar to 無名関数
高階関数
Higher-order function
Option型
Option type
型推論
Type inference
カリー化
Currying
代数的データ型
Algebraic data type
不動点コンビネータ
Fixed-point combinatorラムダ計算
Lambda calculus
単精度浮動小数点数
Single-precision floating-point format
データ型
Data type
デリゲート (プログラミング)
Delegate (CLI)
関数型プログラミング
Functional programming
Catamorphism
Catamorphism
CEK機械
CEK MachineFrenetic
Frenetic (programming language)
F代数
F-algebraGNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)
Result型
Result type
SECDマシン
SECD machine
型クラス
Type class
参照透過性
Referential transparency
始代数
Initial algebra
サイモン・ペイトン・ジョーンズ
Simon Peyton Jonesモナド (プログラミング)
Monad (functional programming)
SKIコンビネータ計算
SKI combinator calculus
型付きラムダ計算
Typed lambda calculus
コンビネータ論理
Combinatory logic
住性 (型理論)
Type inhabitation