The Egison Programming Language
<i>Express Intuition Directly with Essentially New Syntax</i><p><i>Egison makes programming dramatically simple!</i><p><pre><code>    (define $twin-primes
      (match-all primes (list integer)
        [&lt;join _ &lt;cons $p &lt;cons ,(+ p 2) _&gt;&gt;&gt;
         [p (+ p 2)]]))
</code></pre>
Uh, ok?