[tomcam]

I’m big on types and am sympathetic to your last point, but wouldn’t introducing types in any nontrivial way break compatibility on a catastrophic scale?

[adamnemecek]

I mean it can be gradual. There already are ways of compiling functions which require type annotations, just make those less of a pain in the ass.