Similar to 関数型プログラミング

1200 (number)

Catamorphism

CEK Machine

Frenetic (programming language)

F-algebra

GNU Guix

Nix (package manager)

Option type

Result type

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

Template:Expand section

.32 ACP

Carrier Air Wing One