[Haskell] ANNOUNCE: regular-0.1

José Pedro Magalhães jpm at cs.uu.nl
Fri Jul 3 09:07:28 EDT 2009


regular: Generic programming with fixed points for regular datatypes
====================================================================

Many generic programs require information about the recursive positions
of a datatype. Examples include the generic fold, generic rewriting, and
the Zipper data structure. This approach provides a fixed point view on
data which allows these definitions for regular datatypes. It can be seen
as a simplification of the Multirec library, which provides similar
functionality but for families of (possibly mutually recursive) datatypes.

This library is the underlying generic representation mechanism in the
paper:
  Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring,
  Bastiaan Heeren. A Lightweight Approach to Datatype-Generic Rewriting.
  In Ralf Hinze and Don Syme, editors, Proceedings of the ACM SIGPLAN
Workshop
  on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20,
2008,
  pages 13–24. ACM Press, 2008.

More information is available on the webpage:
http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/Regular

Features
--------

* A simple library with a fixed point view

* Includes detailed examples, such as the generic fold

* Forms the basis for a generic rewriting library:
  http://hackage.haskell.org/cgi-bin/hackage-scripts/package/rewriting

* In its current form, this library does not support nested datatypes.
Support
  to access parameters of a datatype is limited.

Requirements
------------

* GHC 6.10.1 or later
* Cabal 1.2.1 or later

Download
--------

With cabal-install:

  cabal install regular

Get the package:

  http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regular

Get the source:

  svn checkout
https://subversion.cs.uu.nl/repos/project.dgp-haskell.libraries/regular/

Bugs & Support
--------------

Report issues, request features, or just discuss the library with the
authors, maintainers, and other interested persons at:

  http://www.haskell.org/mailman/listinfo/generics



--------------
José Pedro Magalhães
Universiteit Utrecht
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20090703/85370328/attachment-0001.html


More information about the Haskell mailing list