A Worked Example of Type Inference | OCaml Programming | Chapter 9 Video 45

[@annorome]

This is kind of a rare video. Sad, that there doesn't seem to exist an extensive course for doing this with all the programming lannguage elements in OCaml. Also, it would be nice to know, how to systematically and verifiably construct valid OCaml code/functions from given type schemes.

[@tophy9865]

If your language were to have multiple integer types with different sizes, would you have to forego binding `+` in the initial env? And if so, would you just have to treat it like an ordinary function application to infer its type?