Idris是一个类似Haskell的纯函数编程语言，类型系统支持dependent types依赖模式匹配的依赖类型系统简单的C函数接口编译器级别；函数式编程语言如 LispSchemeHaskellF# 都是纯函数式编程语言，它们的函数式编程范式是完全的，没有面向对象和面向过程。6Haskell...