This is such a great book. OCaml’s type system feels like a superpower specially in the context of Unix development which is traditionally done in C.