Category:関数型プログラミング言語
Scala
Scala (programming language)
Mathematica
Wolfram MathematicaR言語
R (programming language)
LISP
Lisp (programming language)
Haskell
Haskell
Clean
Clean (programming language)
Agda
Agda (programming language)
Scheme
Scheme (programming language)
Clojure
Clojure
Erlang
Erlang (programming language)ISWIM
ISWIM
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)
Mozartプログラミングシステム
Mozart Programming SystemOz (プログラミング言語)
Oz (programming language)