プログラミング言語 Egison

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

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

パターンマッチ指向

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

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

Egison のコンセプト (5分)

Egisonをインストール

Mac OS X Linux Windows

Egison チートシート

Egisonプログラムを書く際はこの早見表を参考にしてください。

ドキュメント


目標

我々は人間の直感を直接表現できるプログラミング言語を目指しています。
我々はそれが人工知能を実現するための必要条件だと考えています。

オープンソース

Egison は GitHub 上で開発されています。 MIT ライセンスで公開されています。

Haskell

Egison は Haskell により記述されており、Hackage を用いて配布されています。
Egison は Haskell の機能の多くを継承しています。

関連プロジェクト

他の言語から Egison のパターンマッチが使えるように拡張しています。


コミュニティ

Egison にはメーリングリストがあります。
また、 Twitter, Google+, Facebook, GitHub, Rosseta Code, Hacker News, Reddit 上の情報もぜひチェックしてみてください。


comments powered by Disqus
This website in other langauge: English, 日本語