[Haskell] Associated data types in GHC

Manuel M T Chakravarty chak at cse.unsw.edu.au
Mon Oct 30 16:00:46 EST 2006

Dear Haskell Folks

This is to announce the availability of indexed data types, a modest
extension of our earlier proposal for associated data types[1], in GHC's
development version.  Detailed information on where to get the right GHC
and how to use indexed types is available from the Haskell wiki:


This is an experimental feature and any feedback is greatly appreciated.

NB: The implementation of associated type *synonyms* is *not* complete
yet.  We are working on this now.

Happy Hacking!

[1] http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html

More information about the Haskell mailing list