Recap and Feedback
Recap
In this part, we looked into lambda calculus as the foundation of functional programming. We built up from the simplest function system to a rich language with various data types. We covered variables, abstraction, application, alpha-equivalence, substitution, small-step semantics, normalization, and reintroduced natural numbers in a more foundational way.
Feedback
Reflection and feedback
0 / 5 points
Consider the following statements and answer them based on your experiences from studying the materials and working on the assignments in this part. When answering the numeric statements, answer them so that value 1 means that you strongly disagree with the statement, and the value 7 means that you strongly agree with the statement. Please be as honest as possible when answering. The feedback will be used to improve the course.