If you are into programming languages, learning Ocaml (or other ML dialect like StandardML) makes a lot of sense, it's helpful for reading papers, watching conference talks, understanding basics of type theory, going through PL courses and all other fancy stuff.

Here is a good introductionary course on OCaml and functional programming:

https://cs3110.github.io/textbook/cover.html

https://www.youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU

#ocaml #pl #lisp #fp #functionalprogramming #types #typetheory #semantics