- 授权协议: MIT
- 开发语言:
- 操作系统: 跨平台
- 软件首页: http://www.egison.org/
- 软件文档: http://try.egison.org/
软件介绍
Egison 是世界上首个实现了非线性模式匹配的编程语言，用于处理各种不自由的数据类型。如列表、多集合、集合、树和图。
示例代码：
;; Extract all twin primes from the infinite list of prime numbers with pattern-matching!
(define $twin-primes
(match-all primes (list integer)
[<join _ <cons $p <cons ,(+ p 2) _>>>
[p (+ p 2)]]))
;; Enumerate first 10 twin primes
(take 10 twin-primes)
;=>{[3 5] [5 7] [11 13] [17 19] [29 31] [41 43] [59 61] [71 73] [101 103] [107 109]}
Haskell函数式编程基础
Simon Thompson / 科学出版社 / 2013-7-1 / 129.00
《Haskell函数式编程基础（第3版）》是一本非常优秀的Haskell函数式程序设计的入门书，各章依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、诸如数组和列表的结构化数据、列表上的原始递归和推理、输入输出的控制处理、类型分类与检测方法、代数数据类型、抽象数据类型、惰性计算等内容。书中包含大量的实例和习题，注重程序测试、程序证明和问题求解，易......一起来看看 《Haskell函数式编程基础》 这本书的介绍吧!
