Category:関数型プログラミング言語
REBOL
RebolDylan
Dylan (programming language)Frenetic
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
XSLTCPL (圏論プログラミング言語)
Refal
RefalClean
Clean (programming language)Egison
Erlang
Erlang (programming language)XQuery
XQueryMozartプログラミングシステム
Mozart Programming SystemMiranda
Miranda (programming language)ISWIM
ISWIM