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