Why does Dynamic Typing really matter?!?

[Donn Cave]

Quoth "Donn Cave" <donn at drizzle.com>:
[... about Haskell type classes etc. ]
| The Caml version could probably be designed to do the same thing,
| but not as transparently so to speak.  I guess essentially you'd
| be re-inventing the typeclass, as a record of functions that
| implement the abstract interface for each (user) data type.

And of course OCaml does support similar functionality through its
module system.

	Donn Cave, donn at drizzle.com