12 Jul
2007
12 Jul
'07
11:28 a.m.
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@gmail.com