Egison模式匹配編程語言

Egison 是世界上首個實現(xiàn)了非線性模式匹配的編程語言，用于處理各種不自由的數(shù)據(jù)類型。如列表、多集合、集合、樹和圖。

示例代碼：

;; 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]}