[Vm-dev] Pony for Pharo VM

ken.dickey at whidbey.com ken.dickey at whidbey.com
Thu Apr 9 15:41:05 UTC 2020

Not to discourage people, but I have not seen cases where a "strong" 
type system would be able to scale for _real_ Smalltalk applications.

As an example, we are comfortable with something close to "high school 

"Rational numbers"
(1/2) + (1/3) + (1/6). "--> 1 "

"Complex numbers"
[ :n | n * n] value: (-4 sqrt). "--> -4 "

111 factorial. " -->  

Just this is hugely complex to model in a "type safe" language.

Add metaprogramming (e.g. #doesNotUnderstand:), source level debugging 
of live stacks and GC of large object spaces and you have a very large 
(space) and very slow (interlocking cache granularity) interpreter.

Please prove me wrong.


More information about the Vm-dev mailing list