Miranda
以下の Miranda のスクリプトは、数の集合について、全ての部分集合を求める関数である。
以下は文芸的な記法で、全ての素数のリストを与える関数 primes を定義している。