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


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 »


Pattern-matching against ...

View Demonstrations »


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


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


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

Other Projects

Extend other languages to access Egison pattern-matching!


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

comments powered by Disqus