Update OCaml snippets #346
Conversation
|
Thank you so much for this MASSIVE effort! Let's wait for a few LGTMs. And thank you again! |
|
Hi, I'm doing a review. Will get back soon. |
| @@ -1,2 +1,4 @@ | |||
| (* Starting with empty list *) | |||
| let fmap f (safe_head []) = fmap f None = None | |||
| (* As a reminder, this is not actual code *) | |||
There was a problem hiding this comment.
To clarify, I would say something like: 'As a reminder, this is not actual OCaml code, it is a demonstration of equational reasoning'.
There was a problem hiding this comment.
Honestly, there are a lot of snippets that aren't really code (just basically equations) and the Haskell version would suffice in those cases. Maybe these could be removed instead of duplicating the equational reasoning?
| @@ -1,8 +1,4 @@ | |||
| module Chapter5_Product_Example : | |||
| Chapter5_Product | |||
| with type a = int | |||
There was a problem hiding this comment.
The with operator isn't adding much to this chapter example, I think. It's not like in the case of the Functor, Monad, Monoid, etc. signatures where you'd like to be able to call your implementation outside of the module itself, for example. Here, we're just constraining the types inside this module for the sake of the book's example.
As discussed in #345, I've updated most of the OCaml snippets to be simpler, not depend on anything besides the standard library, and also fixed mistakes. I've also changed some formatting choices for consistency throughout the book.
I built the book locally and it seemed fine, hopefully everything's alright.