[Haskell-cafe] Re: Newbie question: "multi-methods" in Haskell

[Stefan Monnier]

> 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