[Haskell-cafe] RE: [Haskell] Dynamic binding

Andreas Rossberg said:

[Followups to Haskell Cafe]

as far as I read it, "dynamic" or "late binding" is orthogonal to subtyping, or typing in general. It is just that most typed OO languages lump these concepts together.

Absolutely agreed.

Often a simple first-class function, or a record thereof, is enough (in fact, "dynamic binding" is just the OOO way of saying "calling a first-class function"). In typical functional programming style, you need the general thing only rarely.

Can you just tell how *you* would favor encoding the shapes example that was posed by poster? (It might just be that your code would be very close to Lennart's proposal?) Thanks, Ralf