The latest version of mini-egison is 1.0.0-0.
mini-egison
Version 0.1.3 revision 0 uploaded by SatoshiEgi.
Package meta
- Synopsis
- Template Haskell Implementation of Egison Pattern Matching
- Description
This package provides the pattern-matching facility that fulfills the following three criteria for practical pattern matching for non-free data types: (i) non-linear pattern matching with backtracking; (ii) extensibility of pattern-matching algorithms; (iii) ad-hoc polymorphism of patterns. Non-free data types are data types whose data have no standard forms. For example, multisets are non-free data types because the multiset '[a,b,b]' has two other equivalent but literally different forms '[b,a,b]' and '[b,b,a]'.
The design of the pattern-matching facility is originally proposed in this paper and implemented in the Egison programming language.
- Author
- Mayuko Kori, Satoshi Egi
- Bug reports
- https://github.com/egison/egison-haskell/issues
- Category
- Data, Pattern
- Copyright
- n/a
- Homepage
- https://github.com/egison/egison-haskell#readme
- Maintainer
- Satoshi Egi <egi@egison.org>
- Package URL
- n/a
- Stability
- n/a