Michael Clarkson teaches OCaml at Cornell. I highly recommend his free course materials [1]. He’s an excellent educator. Learning functional programming paradigms had a major influence on how I design programs. Clarkson also taught snippets from the Pragmatic Programmer, which was equally influential (as it has been for many many others) [2].

[1] https://www.cs.cornell.edu/courses/cs3110/2025sp/

[2] https://pragprog.com/titles/tpp20/the-pragmatic-programmer-2...