Idris是一个类似Haskell的纯函数编程语言，类型系统支持dependent types依赖模式匹配的依赖类型系统简单的C函数接口编译器级别；函数式编程语言如 LispSchemeHaskellF# 都是纯函数式编程语言，它们的函数式编程范式是完全的，没有面向对象和面向过程。
6HaskellHaskell是一个标准化的，通用的纯函数式编程语言，具有非严格的语义和强大的静态类型Haskell具有类型推断和惰性计算。
函数式编程 纯函数
懂函数式编程语言的程序员往往会看不起那些不知道如何写纯函数的程序员，下面张图片就很好的反映了函数式编程语言程序员眼中的。
概述 函数式编程是近几年非常火热的一个词，其实函数数编程并不是一个新东西，它是很古老的函数式编程的特点 对于函数式编程，有三个非常重要的和基础性的特征 函数是一等公民 所谓一等公民是指函数与其他数据类型一样，处于平等地位举例说明 前面说的比较空洞下面我们结合一些例子来体验下函数式编程的特点 1 更高的抽象 在我们的日常编码中。
“LISP是最早的函数式编程语言，但它具有可变的数据结构”即使你的语言是纯函数式，而且使用不可变的数据结构，但在接受用户。
纯函数式编程语言哪些
17Hello World ScalaScala是一种通用编程语言Scala完全支持函数式编程和强大的静态类型系统为了简洁起见，Scala的许多设。
在一个纯函数式编程语言中，函数在计算时不会对进行一些神奇的改变，它只会使用你给它的参数，然后返回结果在函数式编程语言。
