[Haskell-cafe] Functional dependencies *not* part of the next Haskell standard?

[Bulat Ziganshin]

Hello peterv,

Thursday, July 12, 2007, 5:03:29 PM, you wrote:

> I did not realize one could perform "partial application" on types when
> declaring instances (I mean not specifying the type of Vector2 in <instance
Vector Vector2>>).

this feature, called "constructor classes" was in Haskell since 1.2 or
1.3 version. you can find more info about it here:
http://www.haskell.org/haskellwiki/Research_papers/Type_systems#Type_classes

in particular, i suggest you to read "Type classes: exploring the design space"


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com