Category:関数型プログラミング言語
R言語
R (programming language)Erlang
Erlang (programming language)OCaml
OCamlLISP
Lisp (programming language)Scheme
Scheme (programming language)Scala
Scala (programming language)Mathematica
Wolfram MathematicaREBOL
RebolPureScript
PureScriptXQuery
XQueryAgda
Agda (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
XSLT