Resources
On this page, you can find additional resources on the topics covered in the Programming 1 course that might be helpful or interesting.
Previous iterations of Programming 1 followed Gert Smolka's German textbook "Programmierung – Eine Einführung in die Informatik mit Standard ML" (PDF version). Note, however, that the old book teaches Standard ML instead of OCaml!
Cornell University has published another textbook on programming in OCaml. There also exist videos accompanying that book.
If you want to refresh your knowledge on mathematical notation and formal proofs, we recommend the book of the Mathematics Preparatory Course.
If you are interested in digging deeper into the OCaml programming language, the language manual and API documentation are a good starting point. There is also a feature-rich alternative interpreter for OCaml.
And finally, if you don't believe that functional programming is great, watch this video.