Category:関数型プログラミング言語
LISP
Lisp (programming language)
Scala
Scala (programming language)
OCaml
OCamlR言語
R (programming language)
Erlang
Erlang (programming language)
Mathematica
Wolfram Mathematica
Clojure
Clojure
REBOL
Rebol
Agda
Agda (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)Idris (プログラミング言語)
Idris (programming language)Jq (プログラミング言語)
Kent Recursive Calculator
Kent Recursive Calculator
Lazy K
Lean (証明アシスタント)
Lean (proof assistant)
Lush (プログラム言語)
ML (プログラミング言語)
ML (programming language)
Mozartプログラミングシステム
Mozart Programming SystemOz (プログラミング言語)
Oz (programming language)
Standard ML
Standard ML
XSL Transformations
XSLTCPL (圏論プログラミング言語)