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

Ralf Lammel ralfla at microsoft.com
Thu Jun 23 14:56:48 EDT 2005

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
> 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?)


More information about the Haskell-Cafe mailing list