2 ms·

> This was experience from the Strongtalk project, which implemented a fast, typed Smalltalk. That sounds like the global optimum of what I want in a language.

by _pmf_ 9y ago

> This was experience from the Strongtalk project, which implemented a fast, typed Smalltalk. That sounds like the global optimum of what I want in a language. > They actually expected the correctness factor to be much higher, but in practice the static type system only helped to find one or two minor bugs in largely unused code-paths in the libraries. Maybe these were already mature, well tested libraries?

nickpsecurity 9y ago
"That sounds like the global optimum of what I want in a language." I'd love to see them pitted against each other on many types of programming problems with same tooling and similarly-skilled developers. I want to know what differences there would be on large programs in terms of productivity, defect introduction, defect removal, and maintenance-level changes.