In those cases, what author really needs is just[1] not make. [1] https://just.systems/man/en/
For ocaml programmers, there is also a lecture about type inference in ocaml: https://cs3110.github.io/textbook/chapters/interp/inference....
This course open on youtube is perfect for beginners. Ocaml Programming: correct, efficient + beautiful. https://youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b-I4X...
In those cases, what author really needs is just[1] not make. [1] https://just.systems/man/en/
For ocaml programmers, there is also a lecture about type inference in ocaml: https://cs3110.github.io/textbook/chapters/interp/inference....
This course open on youtube is perfect for beginners. Ocaml Programming: correct, efficient + beautiful. https://youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b-I4X...