Hacker News new | ask | show | jobs
by viewfromafar 1500 days ago
The PL crowd calls that type system feature "occurrence typing."
1 comments
SemanticStrengh 1500 days ago
yes or flow typing https://en.wikipedia.org/wiki/Flow-sensitive_typing It probably overlap with the research on gradual typing too
link