I cannot recommend this book enough. It is tough but highly rewarding. You will walk away from reading it, whether you complete it or not, with such a greater a

I cannot recommend this book enough. It is tough but highly rewarding. You will walk away from reading it, whether you complete it or not, with such a greater appreciation for types, for logic, for programming.