Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : mini-egison
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.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/mini-egison
Keywords: data, library, mit, pattern, program, backtracking, egison, haskell, non-linear-pattern, pattern-matching
License: MIT
Latest release: about 4 years ago
First release: over 4 years ago
Dependent repositories: 3
Downloads: 3,021 total
Stars: 31 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago