> 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

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to