Egison
数式処理システムは、 x + x → 2 x {\displaystyle x+x\to 2x} や ( x + y ) 2 → x 2 + 2 x y + y 2 {\displaystyle (x+y)^{2}\to x^{2}+2xy+y^{2}} のようなシンボリックな計算ができる。 Egisonもこのような計算をサポートしている。
Egisonは、効率的でかつ強力な表現力をもつパターンマッチが特徴のプログラミング言語である。 Egisonのパターンマッチは、以下のような特徴をもつ。