[m-dev.] Type families

[Peter Stuckey]

On 27/03/2009, at 2:45 PM, Ralph Becket wrote:

> I've just been to the FPU talk on Type Families, a recent addition to
> GHC.  Type families, if I understand them, are a replacement for
> multi-parameter type classes on the basis that most MPTCs have a  
> single
> type from which the others are derived via functional dependencies.
> Type families are attractive because they take a single parameter
> (making many of our type class instance restrictions moot) and make  
> the
> dependent types part of the type class body (rather than parameters).
>
> http://www.haskell.org/haskellwiki/GHC/Type_families
>
> We should consider this for Mercury.

Try and get Tom Schrijvers to come and help the implementation!

Peter
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------