[Haskell] ANNOUNCE: Generic Haskell 1.60 (Diamond)

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Wed Oct 11 18:28:03 EDT 2006


               Generic Haskell version 1.60 (Diamond)
               ====================================

We are happy to announce the fourth release of Generic Haskell,
an extension of Haskell that facilitates generic programming.

Generic Haskell includes the following features:

* type-indexed values -- generic functions that can be
   instantiated on all Haskell data types.

* type-indexed types -- types which are indexed over the type
   constructors underlying Haskell datatypes.

The Generic Haskell compiler takes Generic Haskell source
and produces Haskell code.

Changes since 1.42 (Coral)
--------------------------

* Generic Views as described in the Generic Views paper [1] are now sup-
ported.

* This release also corrects a few errors that occur with default  
cases, and
some of the library functions have been improved.

Download
--------

The Generic Haskell compiler is available in source and binary
distributions. Binaries for Linux and MacOSX
are available. These are available from:

     http://www.generic-haskell.org/compiler.html

The documentation is also available separately from that page.

For more general information, point your browser to:

     http://www.generic-haskell.org


Why Generic Haskell?
--------------------

Software development often consists of designing datatypes, around
which functionality is added.  Some functionality is datatype
specific, whereas other functionality is defined on almost all
datatypes in such a way that it depends only on the structure of the
datatype.  A function that works on many datatypes in this way
is called a generic function.  Examples of generic functionality
include editing, pretty-printing or storing a value in a database,
and comparing two values for equality.

Since datatypes often change and new datatypes are introduced, we
have developed Generic Haskell, an extension of the functional
programming language Haskell that supports generic definitions,
to save the programmer from (re)writing instances of generic
functions. The original design of Generic Haskell is based on work
by Ralf Hinze.


   Pleasant programming,
   The Generic Haskell Team at Utrecht University

   info at generic-haskell.org

[1] Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey
Rodriguez. Generic views on data types. In Tarmo Uustalu, editor,
Proceedings 8th International Conference on Mathematics of Program
Construction, MPC 2006, LNCS 4014, pages 209 - 234, 2006,
© Springer-Verlag.


More information about the Haskell mailing list