yoko: generic programming with disbanded constructors
yoko views a nominal datatype as a band of constructors, each
a nominal type in its own right. Such datatypes can be disbanded via the
disband function into an anonymous sum of nominal constructors, and vice
versa via the band function. This library uses extensive type-level
programming to enrich its instant-generics foundation with capabilities
derived from the constructor-centric perspective.
For example, consider the following nominal datatype.
data Beatles = John ... | Paul ... | George ... | Ringo ...
This type can of course be understood as a sum of the individual constructor types.
data John = John ... data Paul = Paul ... data George = George ... data Ringo = Ringo ...
yoko's conceptual foundations start there. In particular, this allows a
constructor, say John, to be used independently of its original range type
and sibling constructors.
As a generic programming library, yoko extends instant-generics with
support for constructor-centric generic programming. The Examples/LL.hs
file distributed with the yoko source demonstrates defining a
lambda-lifting conversion between the two types Inner, which has lambdas,
and Prog, which has top-level function declarations instead.
data Inner = Lam Type Inner | Var Int | App Inner Inner data Term = Var Int | App Term Term | DVar Int data Prog = Prog ([Type], Type, Term) Term
These types are defined in separate modules, since they have constructors
with the same name. Indeed, the fact that they having matching constructors
named App is crucial for yoko's automatic conversion from Inner's App
to Term's App. As written, the generic lambda-lifter would continue to
work for any new Inner constructors (e.g. syntax for tuples or mutable
references) as long as constructors with the same names and analogous fields
were added to Term and the semantics of those constructors doesn't involve
binding. This default behavior of the lambda-lifter is specified in about ten
lines of user code.
Existing generic libraries don't use constructor names to the degree that
yoko does, and so cannot accomodate generic conversions nearly as well.
See the wiki at http://code.google.com/p/yoko for more documentation.
[Skip to Readme]
Downloads
- yoko-0.2.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, 0.2, 0.3, 0.3.0.1, 0.3.1, 0.3.1.1, 0.3.1.2, 0.3.1.3, 0.3.2, 0.3.2.1, 0.3.2.2, 0.9, 2.0 |
|---|---|
| Change log | CHANGES |
| Dependencies | base (>=4 && <5), tagged (>=0.2 && <0.3), tagged-th (<0.2), type-booleans (<0.2), type-cereal (<0.2), type-digits (<0.2), type-equality (<0.2), type-ord (<0.2), type-ord-spine-cereal (<0.2), type-spine (<0.2) [details] |
| License | BSD-3-Clause |
| Author | Nicolas Frisby <nicolas.frisby@gmail.com> |
| Maintainer | Nicolas Frisby <nicolas.frisby@gmail.com> |
| Category | Generics, Reflection |
| Uploaded | by NicolasFrisby at 2011-12-01T07:46:14Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 8055 total (30 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] |