Similar to 型クラス
型推論
Type inference
依存型
Dependent type
サブタイピング (計算機科学)
Subtyping
Option型
Option type
始代数
Initial algebra
10.5インチiPad Pro
1048576
型システム
Type systemTemplate:型システム
Template:Type systems
Template:データ構造
Template:Data structures
関数型プログラミング
Functional programming▲1 trends
Catamorphism
Catamorphism
CEK機械
CEK MachineFrenetic
Frenetic (programming language)
F代数
F-algebraGNU Guix
GNU GuixNix (パッケージ管理システム)
Nix (package manager)
Result型
Result type
SECDマシン
SECD machine
カリー化
Currying
高階関数
Higher-order function
参照透過性
Referential transparency
代数的データ型
Algebraic data type
不動点コンビネータ
Fixed-point combinator
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
無名関数
Anonymous function
モナド (プログラミング)
Monad (functional programming)ラムダ計算
Lambda calculus