Standard ML是一门拥有类型推断和一些副作用的函数式编程语言。学习Standard ML的一些难点在于：递归、模式匹配和类型推断（猜测正确的类型但是决不允许隐式类型转换）。与Haskell的不同之处在于Standard ML拥有引用，允许对变量进行更新。

Rust 第一版（0.1 版）发布于 2012 年 1 月，3 年以来一直在紧锣密鼓地迭代。因为更新太频繁，一般建议使用每夜构建版而不是稳定版，直到最近 1.0 版本的发布。

LiveScript 是一种具有函数式特性且编译成 JavaScript 的语言，能对应 JavaScript 的基本语法。 还有些额外的特性如：柯里化，组合函数，模式匹配，还有借镜于 Haskell，F# 和 Scala 的许多特点。

Julia 是一种新的同像函数式编程语言(homoiconic functional language)，它专注于科学计算领域。虽然拥有同像宏(homoiconic macros)、一级函数(first-class functions)和底层控制等全部功能，但 Julia 依旧和 Python 一样易于学习和使用。

Haskell 是一门实用的函数式编程语言，因其 Monads 与类型系统而闻名。而我使用它则是因为它异常优雅。用 Haskell 编程令我感到非常快乐。

Lambda 演算(lambda calculus, λ-calculus), 最初由阿隆佐·邱奇(Alonzo Church)提出, 是世界上最小的编程语言. 尽管没有数字, 字符串, 布尔或者任何非函数的数据类型, lambda 演算仍可以表示任何图灵机.

源代码下载： erlang-cn.erl {代码...} Erlang 里使用三种标点符号：逗号 (,) 分隔函数调用中的参数、数据构建和模式。句号 (.) （后跟空格）分隔函数和 shell 中的表达式。分号 (;) 分隔语句。以下环境中使用语句： 函数定义和case、if、try..catch、receive表达式。1. 变量和模式匹配 {代码...} Erlang 的变量只能赋值...

源代码下载： learnclojure-cn.cljClojure是运行在JVM上的Lisp家族中的一员。她比Common Lisp更强调纯函数式编程，且自发布时便包含了一组工具来处理状态。这种组合让她能十分简单且自动地处理并发问题。(你需要使用Clojure 1.2或更新的发行版) {代码...} Clojure代码由一个个form组成， 即写在小括号里的由空格分开的一...