Re: Strong Typing, Dynamic Languages, What to do?

[Shriram Krishnamurthi <sk@cs.brown.edu>]

Kragen Sitaker wrote:

> If your polymorphism is resolved at compile-time, as in the C++ STL,
> it doesn't mess up your performance (except, possibly, by bloating
> your code and thrashing your icache.)

(1) That still doesn't address object polymorphism.

(2) The same techniques that C++ uses, ML can also.  See the TIL
    compiler.  At least ML doesn't force you to do it manually.

Shriram