Category:関数型プログラミング言語
OCaml
OCamlPureScript
PureScriptClean
Clean (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)Mozartプログラミングシステム
Mozart Programming SystemOz (プログラミング言語)
Oz (programming language)Standard ML
Standard MLXSL Transformations
XSLTCPL (圏論プログラミング言語)
ISWIM
ISWIMSATySFi
Refal
RefalEgison
Miranda
Miranda (programming language)REBOL
Rebol