Category:関数型プログラミング言語
Erlang
Erlang (programming language)
PureScript
PureScript
Clean
Clean (programming language)
OCaml
OCaml:format(jpeg):mode_rgb():quality(90)/discogs-images/R-4620483-1370174981-5418.jpeg.jpg)
Dylan
Dylan (programming language)REBOL
RebolFrenetic
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)
Standard ML
Standard ML
XSL Transformations
XSLT
Agda
Agda (programming language)CPL (圏論プログラミング言語)
Mozartプログラミングシステム
Mozart Programming SystemRefal
Refal
Miranda
Miranda (programming language)