tord 2017-07-26T11:40:33.422191Z

@kevin42: I've read TLS, many years ago. I don't remember much, but as far as I can recall, it's a quick read and great fun to work through, but it doesn't really teach you anything of practical importance.


Cool thanks @tord, the fun part is good as I'm working as a full time developer and have plenty of concrete things to implement.


Did you read the seasoned schemer or the little prover afterward?

tord 2017-07-26T12:37:51.628112Z

@kevin42: I think there's a good chance you will like it, then. One of the nice things about this book is that it can (and arguably should) be read without a computer, working out the solutions to all the little exercises on paper. No, I've not yet read any of the sequels.


That's even better without a computer as I have commute time where computer is a pain to use. Thanks 🙂