
6 Aug
2007
6 Aug
'07
3:57 p.m.
Remember that type classes do not provide object-oriented functionality. The dispatch is static, not dynamic.
I beg to disagree. map (\n. n + n) calls different (+) operations depending on the (type of the) argument list. That's why dictionaries are passed around (they are called vtables in many OO languages) by several Haskell implementations. Stefan