>>21
polymorphic constants
wat
Also, the advantages to compile-time dispatch that I can see involve lazy evaluation as well. For an eager language that doesn't need every singe instruction to be uber optimized, I don't see why something like CLOS is more than sufficient to superior to a static type system (as far as dispatch is concerned.)