Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Manuel M T Chakravarty <chak <at> cse.unsw.edu.au>
Subject: Associated data types in GHC
Newsgroups: gmane.comp.lang.haskell.general
Date: Monday 30th October 2006 21:00:46 UTC (over 10 years ago)
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:

  http://haskell.org/haskellwiki/GHC/Indexed_types

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!
Manuel

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