Category:関数型プログラミング言語
Miranda
Miranda (programming language)
PureScript
PureScript
Agda
Agda (programming language)
OCaml
OCaml
SATySFi
Clojure
Clojure
Scala
Scala (programming language)
Mathematica
Wolfram Mathematica
Haskell
Haskell
LISP
Lisp (programming language)R言語
R (programming language)