Egisonの価値

Egisonの価値 パターンマッチについて考えることは，思っているより非常に重要なことである． 新しい強力なパターンマッチの表現をみつけることは，関数型言語や論理型言語， オブジェクト指向言語などのアイデアと較べるとそこまで重要なことではないという認識があるような気がする． しかし，そんな認識は間違っていて， 新しく開発された超強力なパターンマッチ機能をもつEgisonが， 実はどれだけ影響力を秘めた言語であるかということを今回は書いてみようと思う． プログラミング言語には大雑把に分けて， 計算機を制御するための道具としての捉え方と， アルゴリズムを表現するための道具としての捉え方があるように思う． 前者の捉え方は，入出力やメモリ管理，並列計算，ネットワーク関連の処理などの コンピュータの機能を組み合わせて， 役に立つ便利なアプリケーションを作るハッカー的な捉え方である． 後者の捉え方は，

[t_f_m]

パターンマッチの冗長性

[nanakoso]

Edison データ構造の表現とパターンマッチに注目した言語