Category:関数型プログラミング言語
Miranda
Miranda (programming language)
Clean
Clean (programming language)Refal
Refal
SATySFi
Egison
PureScript
PureScript
Clojure
Clojure
Erlang
Erlang (programming language)
Agda
Agda (programming language)
Mathematica
Wolfram Mathematica
LISP
Lisp (programming language)