It'd be really interesting to know whether the StrongTalk type checker could be bolted on to an existing Smalltalk implementation, or whether it was inextricabl

It'd be really interesting to know whether the StrongTalk type checker could be bolted on to an existing Smalltalk implementation, or whether it was inextricably part of the JIT. Smalltalk is a lovely, lovely language; being able to combine Smalltalk's dynamism with strongly-typed code where it makes sense looks like the best of both worlds (it even supports generics!). http://www.bracha.org/nwst.html http://www.bracha.org/nwst.html