Egison Dev Meetingを開催します！！
Egisonは、パターンマッチ指向という新たなパラダイムを持つ日本発の新たな純粋関数型プログラミング言語です。
Egisonは、強力なパターンの表現力と、パターンマッチをカスタマイズする機能を持っています。
今までの言語では、集合のような正規形を持たないデータ型のデータの分解を行うには、新たな関数を定義しなければ行えなかったのですが、
Egisonを使えばパターンマッチを使って非常に簡潔に記述できます。
現在開発中のEgison バージョン 4は、以下の機能を搭載する予定です。
Egisonの特徴は、強力なパターンマッチの表現力です。
Egisonを用いると正規形を持たないデータ型のデータに対してのパターンマッチングを行うことができます。
以下のようなEgisonのパターンマッチの特徴がそれを可能にします。
Egisonのパターンマッチの結果は複数あります。
この特徴は、正規形を持たないデータに対するパターンマッチを行うためには必須です。
なぜなら、正規形を持たないデータは同じデータに対して複数の表現形があるので、分解の方法も複数あるからです。
パターン内のパターン変数に対する束縛は、同じパターンの中で参照できます。
これは、複数の結果を持つパターンマッチを行う際に、実用的なパターンを記述するのに必須な機能です。
Egisonプログラマは、パターンを引数にとり、パターンを返す関数を記述することができます。
これにより、プログラムの複数の箇所で、頻出するパターンを使いまわすことができます。
Egisonのパターンマッチは以下のような特徴も含みます。
並列可能なループは、ひとつの簡潔なEgisonのパターンマッチ式で記述できます。
Egison内部のパターンマッチの機構は簡単に並列化できます。
Egisonについての情報を共有するためのTwitter アカウントがあります。
Egisonのアップデート情報やEgisonについてのイベント情報を配信する予定です。