The struggle with syntactic sugar, what it denotes, and the meaning of programs
Cong-Cong Xing · Journal of computing sciences in colleges · 2013
Theory is an indispensable part in the study of computer science. Along this broad line, the subject of λ-calculus which serves as the theoretical foundation for programming languages, needs to be brought up in the study of programming languages. Unfortunately, students generally find that theories are difficult to deal with. One of the difficulties that repeatedly occur is that students think they understand the subject in question, but they actually do And this can only make this situation worse. The intention of this assignment is to provide a concrete instance to clarify what we mean by saying many students think they understand the subject in question, but they actually do not.