Category:関数型プログラミング言語

Scala
Scala (programming language)
Mathematica
Wolfram Mathematica
Erlang
Erlang (programming language)
Haskell
Haskell
Scheme
Scheme (programming language)
Clojure
Clojure
Clean
Clean (programming language)R言語
R (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)
Mozartプログラミングシステム
Mozart Programming System
Oz (プログラミング言語)
Oz (programming language)
REBOL
Rebol
Standard ML
Standard ML
XSL Transformations
XSLT