プログラミング言語 Egison

- 直感をそのまま表現するパターンマッチング -

Egison は1つの定まった標準形を持たないデータに対しても柔軟なパターンマッチが表現可能なプログラミング言語です。
リストや多重集合、集合、ツリー、グラフなどといった幅広いデータ型に対して、パターンマッチが記述できます。
それにより、Egison プログラマは非常にシンプルにプログラムを記述できるようになります。

-- 素数の無限リストから全ての双子素数をパターンマッチにより抽出
def twinPrimes :=
  matchAll primes as list integer with
    | _ ++ $p :: #(p + 2) :: _ -> (p, p + 2)

-- 最初の10個の双子素数を列挙
take 10 twinPrimes
-- => [(3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), (59, 61), (71, 73), (101, 103), (107, 109)]

パターンマッチ指向

Egison はパターンマッチ指向という新たなパラダイムを提唱しています。 以下の4つの機能を同時に実現することにより、強力で直感的なパターンマッチを可能にしています。

非線形パターン
複数の結果を持つパターンマッチング
パターンマッチの方法のモジュール化
静的スコープを保つパターンマッチング

Egisonのパターンマッチのコンセプト (5分)

数式処理

Egisonはテンソルの添字記法や微分形式をプログラムでもそのまま記述することができます。
スカラー関数とテンソル関数という2種類の関数の分類を提唱することにより、これを実現しました。

スカラー関数 - 引数がテンソルだった場合、処理を要素ごとにマップする。
テンソル関数 - 引数がテンソルだった場合、テンソルをテンソルとしてそのまま処理する。

Egisonによるテンソルの添字記法の導入 (10分)

デモンストレーション

Egison独自の機能を体験してみてください。

パターンマッチ

数式処理

ドキュメント

Egison オンライン

Online Egison Interprter Version 3.3.8 (C) 2011-2014 Satoshi Egi
Welcome to Egison Interpreter!
** Information **
We are supporting Emacs key bindings to move cursor.
*****************
>

オンライン Egison

オンライン・チュートリアル

オンライン・デモ »

プログラミング言語 Egison

- 直感をそのまま表現するパターンマッチング -

パターンマッチ指向

数式処理

デモンストレーション

Egisonをインストール

Egison チートシート

ドキュメント

Egison オンライン

目標

オープンソース

Haskell

関連プロジェクト

メディア

リンク

コミュニティ

FAQ