分類:函數式編程語言

• 函数式编程

A

• Agda
• Arc

C

• Clean语言
• Clojure
• Coq
• Cuneiform语言
• Curl语言
• Curry語言

D

• Dylan语言

E

• Elixir (编程语言)
• Elm语言
• Erlang

F

• Factor语言
• Flapjax
• FP语言
• Futhark语言

H

• Haskell
• Hope语言

I

• Idris
• Isabelle
• ISWIM

J

• JavaScript
• Joy语言
• J语言

L

• Lean
• LISP
• Logo (程序语言)
• Lucid语言

M

• Maple
• Mercury语言
• Microsoft Power Fx
• Miranda语言

N

• NewLISP
• Nim
• NPL语言

O

• OCaml
• Oz语言

P

• PAL语言
• POP-2
• PureScript

R

• Racket
• Reason语言
• REBOL
• Rust

S

• SASL语言
• Scala
• SISAL
• Standard ML

U

• Ur语言

W

• Wolfram语言

Y

• User:Yinweichen/Testpage1

新

• 新泽西Standard ML

肯

• 肯特递归计算器