Category:関数型プログラミング言語
LISP
Lisp (programming language)Scheme
Scheme (programming language)REBOL
RebolXQuery
XQuerySATySFi
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)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
ISWIMRefal
RefalDylan
Dylan (programming language)Agda
Agda (programming language)Egison