←back to thread

Learn OCaml

(ocaml-sf.org)
203 points smartmic | 2 comments | | HN request time: 0.583s | source
Show context
__rito__ ◴[] No.44402785[source]
I highly recommend this resource- OCaml Programming: Correct + Efficient + Beautiful [0]. It is very friendly, fund, and informative. It is one of the proverbial 'mind expanding' stuff.

[0]: https://cs3110.github.io/textbook/cover.html

replies(1): >>44405333 #
1. schonfinkel ◴[] No.44405333[source]
Highly recommend this as well. Michael Ryan also has a playlist where he goes over the first book of the "Software Foundations" series:

https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzk... https://softwarefoundations.cis.upenn.edu/

A great resource for those looking to learn Rocq.

replies(1): >>44406136 #
2. __rito__ ◴[] No.44406136[source]
Wow, thanks for sharing. Now I will finally scratch my software proofs itch.

___

Typo in GP: "fun" instead of "fund"