(原始内容存档于2007-01-05) (英语). Scheme is a statically scoped and properly tail-recursive dialect ofthe Lisp programminglanguage invented by Guy Lewis Steele
動態類型语言:Lisp家族的Scheme、Common Lisp、Clojure、Racket,还有LOGO、Erlang、Wolfram语言和R等。 其他特殊风格的函数式编程语言有:APL/J和jq(英语:jq (programminglanguage))等。 Alonzo Church. A set of postulates