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

Agda (programming language)

Lisp (programming language)

Clean (programming language)

ISWIM

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)

Mozart Programming System

Oz (programming language)

Standard ML

XSLT

Refal

Rebol

Miranda (programming language)

Clojure