models of programming

ashton wiedersdorf


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