@abcdw I read this course a few years ago, its really great. OCaml is a good balance of safety and pragmatism