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

Lisp (programming language)

Agda (programming language)

R (programming language)

Scala (programming language)

Miranda (programming language)

Erlang (programming language)

ISWIM

Clean (programming language)

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

XQuery

XSLT