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

Erlang (programming language)

Clean (programming language)

PureScript

Frenetic (programming language)

Common Lisp

Elm (programming language)

F Sharp (programming language)

F* (programming language)

FP (programming language)

Gleam (programming language)

Idris (programming language)

Kent Recursive Calculator

Lean (proof assistant)

ML (programming language)

Oz (programming language)

Standard ML

XSLT

Mozart Programming System

Refal

Dylan (programming language)

ISWIM

Rebol