Egison
Egisonは未束縛の変数をシンボルとして扱う。 そのため、未定義の変数をプログラム中で使ってもエラーにならない。 またシンボル同士の足し算や掛け算、冪演算が組み込みで定義されている。
既出 の 双子素数 twinPrimesも参照。
Haskell と同じような方法で副作用をもつプログラムを記述出来る。