一系列相关的功能被认为使语言具有功能性，但最突出的当然是一流的功能，即将函数作为参数传递的能力，这有助于抽象。一个密切相关的问题是purity，这有助于编写独立于内存中值的当前状态运行良好的代码。

使用函数式语言开发的大型项目示例包括Xen（Ocaml），爱立信的基础设施（Erlang）和Twitter推特（Scala-尽管我在这里有点作弊，因为Scala还完全集成了面向对象的范例）。