3 ms·
The PL crowd calls that type system feature "occurrence typing."
by viewfromafar 4y ago
The PL crowd calls that type system feature "occurrence typing."
- SemanticStrengh 4y agoyes or flow typing https://en.wikipedia.org/wiki/Flow-sensitive_typing https://en.wikipedia.org/wiki/Flow-sensitive_typing It probably overlap with the research on gradual typing too