For ocaml programmers, there is also a lecture about type inference in ocaml: https://cs3110.github.io/textbook/chapters/interp/inference.html https://cs3110.gi

For ocaml programmers, there is also a lecture about type inference in ocaml: https://cs3110.github.io/textbook/chapters/interp/inference.html https://cs3110.github.io/textbook/chapters/interp/inference....