Fork me on GitHub

The Egison Programming Language

Egison is the programming language that realized non-linear pattern-matching against unfree data types.
We can directly represent pattern-matching against a wide range of data types such as lists, multisets, sets, trees and graphs.
Egison makes programming dramatically simple!

More Online Demonstrations » Egison Cheat Sheet Join Our Community!

What's New

View More on Twitter ChangeLog on GitHub

Pattern-matching-oriented

Egison proposes a new paradigm pattern-matching-oriented. The combination of all of the following features enables intuitive powerful pattern-matching.

  • Modularization of the way of pattern-matching
  • Pattern-matching with backtracking
  • Non-linear patterns with lexical scoping

View Paper on arXiv.org »

Demonstrations

Pattern-matching against ...

View Demonstrations »


Aims

We aim at intuitive representation of algorithms and formalization of human recognitions.
We believe this is the shortest way to the artificial intelligence.

Open-source

Developed and maintained on GitHub by the community. License is MIT.

Haskell

Egison is written in Haskell and being distributed as a Hackage package.

Other Projects

Extend other languages to access Egison pattern-matching!


Community

We have a mailing list!
Egison on Twitter, Facebook, GitHub, Rosseta Code, Hacker News, and Reddit. Please check them!


comments powered by Disqus