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

[Ralf Lammel]

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