←back to thread

Learn OCaml

(ocaml-sf.org)
203 points smartmic | 1 comments | 27 Jun 25 20:36 UTC | HN request time: 0.247s | source
Show context
__rito__ ◴[28 Jun 25 06:55 UTC] 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 #
schonfinkel ◴[28 Jun 25 15:23 UTC] 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 #
1. __rito__ ◴[28 Jun 25 16:49 UTC] No.44406136[source]▶
Wow, thanks for sharing. Now I will finally scratch my software proofs itch.

___

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