;;;
;;;
;;; Pattern-matching against sequence of natural numbers
;;;
;;;

;; Extract all twin primes with non-linear pattern-matching against the infinite list of prime numbers
(define $twin-primes
  (match-all primes (list integer)
    [<join _ <cons $p <cons ,(+ p 2) _>>>
     [p (+ p 2)]]))

;; Enumerate first 10 twin primes
(test (take 10 twin-primes))

;; Enumerate first 100 twin primes
(test (take 100 twin-primes))