Category:関数型プログラミング言語
Clojure
Clojure
Erlang
Erlang (programming language)
ISWIM
ISWIMClean
Clean (programming language)
Miranda
Miranda (programming language):format(jpeg):mode_rgb():quality(90)/discogs-images/R-4620483-1370174981-5418.jpeg.jpg)
Dylan
Dylan (programming language)
Scala
Scala (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)Oz (プログラミング言語)
Oz (programming language)REBOL
Rebol
SATySFi
Standard ML
Standard ML
XSL Transformations
XSLTCPL (圏論プログラミング言語)
Refal
Refal