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

Clojure

Wolfram (software)

Haskell

OCaml

Dylan (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)

ISWIM

Kent Recursive Calculator

Lean (proof assistant)

Miranda (programming language)

ML (programming language)

Oz (programming language)

Standard ML

XSLT

Mozart Programming System

Refal

Rebol