Trying to understand programming from this view point means trying to protect us from losing most of the fun in programming by getting too deeply involved in secondary things like the syntax and rules of a specific programming language.
The approach used in the book will liberate us initially from lower level thinking that is influenced by the implementation of a programming language and will take us up to the heights of thinking in terms of higher levels of abstraction that will make our programming simpler, more comprehensive and more powerful.
The Lambda Calculus provides the theoretical foundation for such an approach.
Georg P. Loczewski 2002-07-20 |