@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?
@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 🙂