Category:関数型プログラミング言語
Erlang
Erlang (programming language)
LISP
Lisp (programming language)
Haskell
Haskell
Mathematica
Wolfram MathematicaR言語
R (programming language)
Clojure
Clojure
PureScript
PureScript
SATySFi
Clean
Clean (programming language)
Miranda
Miranda (programming language)Frenetic
Frenetic (programming language)
Common Lisp
Common Lisp
Elm (プログラミング言語)
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 Calculator
Lazy K
Lean (証明アシスタント)
Lean (proof assistant)
Lush (プログラム言語)
ML (プログラミング言語)
ML (programming language)Oz (プログラミング言語)
Oz (programming language)
Standard ML
Standard ML
XSL Transformations
XSLTCPL (圏論プログラミング言語)