So most statically typed programming languages created in the last 10 years have a form of type inference where variable assignments are usually inferred but function/method parameters are not. Where does this specific flavor of type inference come from? Is there a name for it?
Conversation
Replying to
As others have said, this is Bidirectional Type Inference. It's pretty useful for languages with advanced features like subtyping, first-class polymorphism, or dependent types. did a good presentation on the basics of this approach here:
Thank you!
1