是一种高级语言的、直译语言的编程语言。JavaScript是一门基于原型编程、头等函数的语言，是一门多范式的语言，它支持面向对象程序设计程式设计，指令式编程语言，以及函数式编程语言。它提供语法来操控文本、数组、日期以及正则表达式等，不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它已经由Ecma国际通过ECMAScript实现语言的标准化。它被世界上的绝大多数网站所使用，也被世界主流浏览器支持。
ML，是一个函数式编程语言、指令式编程语言的通用编程语言的编程语言，它著称于使用了多态的类型推论。ML能自动的指定多数表达式的数据类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。
SISAL是通用单赋值函数式编程语言，它具有严格语义、隐式并行和高效阵列处理。SISAL输出中间形式1的数据流程图。它派生自VAL，并增加了递归和有限串流。它有着类Pascal编程语言语法，并被设计为用于在各种多处理器上的数值程序的高级语言。
类型推论、类型推导、型别推断、或隐含类型，是指编程语言中在编译期自动推导出值的数据类型的能力，它是一些强静态类型语言的特性。一般而言，函数式编程语言具有此特性。自动推断类型的能力让很多编程任务变得容易，让程序员可以忽略类型标注的同时仍然允许类型检查。
Scheme是一种函数式编程语言，是Lisp的两种主要方言之一，不同于与之并列的Common Lisp，Scheme遵循极简主义哲学，以一个小型语言核心作为标准，加上各种强力语言工具来扩展语言本身。
直觉类型论，也可简称类型论，此外也有构造类型论或马汀-洛夫类型论称呼。是基于数学构造主义的函数式编程语言、逻辑和集合论。
函数式响应式编程 是一种编程范式，它采用函数式编程语言的基础部件，进行响应式编程。FRP被用于GUI、机器人学和音乐方面的编程，旨在通过显式的建模时间来简化这些问题。
有类型lambda演算是使用lambda符号指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML语言和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴论的类的内部语言，比如简单类型lambda演算是笛卡儿闭范畴的语言。
MapReduce是Google提出的一个软件架构，用于大数据的并行运算。概念“Map”和“Fold”，及他们的主要思想，都是从函数式编程语言借鉴的，还有从矢量编程语言借来的特性。
在计算机科学和逻辑中，依赖类型是指依赖于值的类型，其理论同时包含了数学基础中的类型论和计算机编程中用以减少程序错误的类型系统两方面。在 Per Martin-Löf 的直觉类型论中，依赖类型可对应于谓词逻辑中的全称量词和存在量词；在依赖类型函数式编程语言如 自动列车停止装置、Agda、Dependent ML、Epigram、F* 和 Idris 中，依赖类型系统通过极其丰富的类型表达能力使得程序规范得以借助类型的形式被检查，从而有效减少程序错误。
Mini wiki
