Efficient dynamic dispatch without virtual function tables: the SmallEiffel compiler

[Robert Fraser]

bearophile wrote:
> ShedSkin has one of the most powerful type inference engines around, but it gets rather slow. So the things you say too probably require a cost in compile time.

A fast compiler is rather necessary for debug/ad-hoc builds, but for 
release builds (where optimization is turned on), compile time is much 
less of an issue (unless you're trying to profile something and making 
frequent changes...). In other words: as long as it's a compiler option, 
this isn't a problem at all.