Category:関数型プログラミング言語
LISP
Lisp (programming language)▲1 trendsR言語
R (programming language)▲1 trendsHaskell
HaskellScala
Scala (programming language)Scheme
Scheme (programming language)Clojure
ClojurePureScript
PureScriptOCaml
OCamlMiranda
Miranda (programming language)Mathematica
Wolfram MathematicaAgda
Agda (programming language)Clean
Clean (programming language)XQuery
XQueryREBOL
RebolFrenetic
Frenetic (programming language)Common Lisp
Common LispElm (プログラミング言語)
Elm (programming language)F Sharp
F Sharp (programming language)F* (プログラミング言語)
F* (programming language)FP (プログラミング言語)
FP (programming language)Idris (プログラミング言語)
Idris (programming language)ISWIM
ISWIMJq (プログラミング言語)
Kent Recursive Calculator
Kent Recursive CalculatorLazy K
Lean (証明アシスタント)
Lean (proof assistant)Lush (プログラム言語)
ML (プログラミング言語)
ML (programming language)