Category:関数型プログラミング言語
Erlang
Erlang (programming language)REBOL
RebolFrenetic
Frenetic (programming language)Clean
Clean (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
RefalXQuery
XQueryEgison
ISWIM
ISWIMSATySFi
Mozartプログラミングシステム
Mozart Programming SystemDylan
Dylan (programming language)