Type system updates: moving from research into development

[josevalim]

I see. I would add that type violations will definitely start as warnings, so there would be no raising at compile-time either way.