egison: Programming language with non-linear pattern-matching against unfree data types
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
An interpreter for Egison, the programming langugage that realized non-linear pattern-matching against unfree data types.
With Egison, you can represent pattern-matching against unfree data types intuitively,
especially for collection data, such as lists, multisets, sets.
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 determins poker-hands written in Egison. All hands are expressed in a single pattern. You can run this code online at http://www.egison.org/demonstrations/poker-hands.html.
The pattern-matching of Egison is very powerful. We can use it for pattern-matching against graphs, too. Egison is not popular at all now. Please help us to make Egison popular.
Properties
Modules
[Index]
Downloads
- egison-3.2.15.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees