3 ms·
This is really exciting! Does typing have to be extensive or does the majority of it get inferred with perhaps just function and class boundaries needing annot
by wood_spirit 3y ago
This is really exciting!
Does typing have to be extensive or does the majority of it get inferred with perhaps just function and class boundaries needing annotations?
And if the latter, does the typing get inferred _after_ the initial ssa pass, so a name has a context-specific type?
- certik 3y agoSee my comment here for all the details regarding implicit typing and why we don't currently do it: https://news.ycombinator.com/item?id=36920963 https://news.ycombinator.com/item?id=36920963. But we give you nice error messages if types don't match.