Similar to モナド_(プログラミング)
Catamorphism
Catamorphism
F代数
F-algebra
始代数
Initial algebra
モナド (プログラミング)
Monad (functional programming)
関数型プログラミング
Functional programming
CEK機械
CEK MachineFrenetic
Frenetic (programming language)Nix (パッケージ管理システム)
Nix (package manager)
Option型
Option typeResult型
Result type
SECDマシン
SECD machine
型クラス
Type class
型推論
Type inference
カリー化
Currying
高階関数
Higher-order function
参照透過性
Referential transparency
代数的データ型
Algebraic data type
不動点コンビネータ
Fixed-point combinator
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
無名関数
Anonymous functionラムダ計算
Lambda calculus
Template:圏論
Template:Category theory圏論
Category theory
F余代数
F-coalgebraアブストラクト・ナンセンス
Abstract nonsense
位相の特徴付け
Axiomatic foundations of topological spaces
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
