Category:関数型プログラミング言語
Erlang
Erlang (programming language)PureScript
PureScriptClean
Clean (programming language)OCaml
OCamlDylan
Dylan (programming language)REBOL
RebolFrenetic
Frenetic (programming language)Common Lisp
Common LispElm (プログラミング言語)
Elm (programming language)F Sharp
F Sharp (programming language)F* (プログラミング言語)
F* (programming language)FP (プログラミング言語)
FP (programming language)Gleam (プログラミング言語)
Gleam (programming language)Idris (プログラミング言語)
Idris (programming language)Jq (プログラミング言語)
Kent Recursive Calculator
Kent Recursive CalculatorLazy K
Lean (証明アシスタント)
Lean (proof assistant)Lush (プログラム言語)
ML (プログラミング言語)
ML (programming language)Oz (プログラミング言語)
Oz (programming language)Standard ML
Standard MLXSL Transformations
XSLTAgda
Agda (programming language)CPL (圏論プログラミング言語)
Mozartプログラミングシステム
Mozart Programming SystemRefal
RefalMiranda
Miranda (programming language)