egison: Programming language with non-linear pattern-matching against unfree data
An interpreter for Egison, the programming langugage that realized non-linear pattern-matching against unfree data types.
With Egison, we can directly represent pattern-matching against a wide range of data types such as lists, multisets, sets, trees and graphs.
We can find Egison programs in lib
and sample
directories.
This package also include Emacs Lisp file egison-mode.el
in elisp
directory.
The following code is the program that determines poker-hands written in Egison. All hands are expressed in a single pattern. We can run this code online at http://www.egison.org/demonstrations/poker-hands.html.
The pattern-matching of Egison is very powerful. Please view and try more demonstrations.
http://www.egison.org/demonstrations/
Egison is not popular at all now. Please help us to make Egison popular.
Modules
[Index]
Downloads
- egison-3.3.5.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates