Bracha v Felleisen “Types for an Untyped World” (2015) [video]

Re:Bracha v Felleisen “Types for an Untyped World” (2015) [v... by _pmf_ on Monday May 29, 2017 @05:20AM (#14438228)

> 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?

[ Parent | on HN ]

Re:Bracha v Felleisen “Types for an Untyped World” (2015) [v... by nickpsecurity on Monday May 29, 2017 @11:57AM (#14439730)

"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.

[ Parent | on HN ]