OCaml, Lisp，Mondrain和Clean
函数式语言其实是一种程序设计语言，通过这种函数可以给计算机编程，这些函数语言就相当于是人类与计算机进行交流而使用的一种语言，这种函数式语言在早期是Haskell。
这种函数式语言在1980时候发布的，他是Mondrain的一种进化版，比Mondrain更简单，同时也做了一些扩充和变体，至于另一种Clean，就是我们常说的C语言，大学生都会考的国家计算机等级考试中，就有c语言这个科目。
OCaml, Lisp是比较纯粹的函数式语言，这种语言对于程序员来说是很省力并且好操作的，这些程序员只需要在基础上加减一些函数公式，就能改变运行效果，同时这并不会影响程序的正常使用。
所以函数式语言在程序语言方面用的最多也最广。并且没有额外的连带作用，不会其中一个语言输错了，就整个大程序全部调整。