#1 => Erik Michaels-Ober on Soft Typing

For the very first Papers We Love Berlin Meetup, we will have Erik Michaels-Ober from SoundCloud presenting the paper Soft Typing by Robert Cartwright and Mike Fagan.

This is particularly interesting for Rubyists, because Ruby 3.0 might ship with such a type system.

Abstract:

This paper presents a soft type systems that retains the expressiveness of dynamic typing, but offers the early error detection and improved optimization capabilities of static typing. The key idea underlying soft typing is that a type checker need not reject programs containing "ill-typed" phrases. Instead, the type checker can insert explicit run-time checks, transforming "ill-typed" programs into type-correct ones.

PDF: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.24.9333&rep=rep1&type=pdf

Thanks to ResearchGate for hosting this first edition!