Structure and Interpretation of Computer Programs

This is a comprehensive book that would have been fantastic had I not learned half of it in university, and the other half from functional programming. Most of the problems in the book feel like they're desperately grasping for a type-system, and needing to be very clever in order to get around their lack of such. It's not a bad read by any means, but I didn't get nearly as much out of it as people promised I would.