#163 overall
CS 3110 Functional Programming (OCaml)
Cornell University
3 recommenders · 3 threads · recommended in 3 years, 2014–2021 · score 2.8
CS 3110 is Cornell University's functional programming course taught with OCaml, covering functional programming concepts and the language. Its lecture notes and textbook are published online.
Commenters point to it as a good primer for learning OCaml and call its lecture notes high quality and well revised over the years.
Recommendations by year
20062026
1 would like to recommend the lecture notes [1] used in CS3110 at Cornell to people who want to learn OCaml. They have been used and revised over the years and are of very high quality.
[1] http://www.cs.cornell.edu/Courses/cs3110/2014sp/lecture_note...
As an initial primer I would recommend Cornell’s Functional Programming class that teaches OCaml: https://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/in...
After that, I would recommend the new (beta) version of Real World OCaml — it gets a lot more in depth about more advanced language features: https://dev.realworldocaml.org/toc.html
https://cs.uwaterloo.ca/~plragde/flaneries/ the 'teach yourself racket' small book covers Hof, Lambdas, pattern matching, then you can take his other short course on Agda to learn dependent types.
Or try ocaml https://www.cs.cornell.edu/courses/cs3110/2020sp/textbook/