metamorphic: metamorphisms: ana . cata or understanding folds and unfolds
Metamorphisms are an approach to structured recursion.
This package is currently a reorganization and slight adaptation of the original code which was written more than a decade ago (in 1999); it is, however quite a direct and clever way to investigate the concepts involved.
The original code and paper can be found here:
http://web.engr.oregonstate.edu/~erwig/meta/
This code uses unusual layout (in particular, I use very wide columns and lots of spacing) in hopes that it makes the symmetry of the functions manifest. Any mistakes in the code are almost surely mine, and not the original author's.
Future updates should include:
documentation
an abstract syntax graph version of the included functions
diagrams of involved structures
examples demonstrated by doctest
switch to hierarchical naming
switch to available versions of components (SimpleMap, Heap)
a more general license
Downloads
- metamorphic-0.1.2.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.2.3 |
---|---|
Dependencies | base (<5) [details] |
License | LicenseRef-OtherLicense |
Author | Martin Erwig <erwig@cs.orst.edu> |
Maintainer | Drew Day <drewday@gmail.com> |
Category | Recursion, Algebra, Graphs |
Home page | http://github.com/technogeeky/metamorphic |
Source repo | head: git clone https://github.com/technogeeky/metamorphic |
Uploaded | by DrewDay at 2012-07-10T04:25:45Z |
Distributions | NixOS:0.1.2.3 |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 1322 total (6 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |