one mode of programming is imperative, giving instructions to the computer one at a time. good but tedious and detail prone
another one is using functional programming to build up models of the problem at hand (“the fundamental nature of the problem”)
he likes mathematically-sound models. what does that mean? essentially lambda?
this book is like sicp, how to design programs