Egison是世界上首个实现了非线性模式匹配的编程语言，用于处理各种不自由的数据类型。如列表、多集合、集合、树和图。示例代码：;; Extract all twin primes from the infinite list of prime numbers with pattern-matching!(define $twin-primes  (match-all primes (list integer)    [     [p ( p 2)]]));; Enumerate first 10 twin primes(take 1