Similar to Elm_(プログラミング言語)

Elm (programming language)

Agda (programming language)

Clean (programming language)

Clojure

Common Lisp

Dylan (programming language)

Erlang (programming language)

F Sharp (programming language)

F* (programming language)

FP (programming language)

Frenetic (programming language)

Idris (programming language)

ISWIM

Kent Recursive Calculator

Lean (proof assistant)

Lisp (programming language)

Wolfram Mathematica

Miranda (programming language)

ML (programming language)

Mozart Programming System

OCaml

Oz (programming language)

PureScript

Rebol