Final Exam
- Final
- Date: 17 December, 1:30-4:00
- Book Chapters: 1-6, 9-10, 12-14 all limited to what I covered in class
- Topics include:
- Interpreters
- Concrete and Abstract Syntax
- Parsing and Interpretation
- Values and terms
- Identifiers and Substitution
- Binding identifiers to values
- Substitution and Interpretation
- Environments and Deferring Substitution
- Identifier Scoping
- Functions
- Interpreting functions
- Lazy and strict interpretation
- Static and dynamic scoping
- Closures as function values
- Curried functions
- Type Inference
- Numbers and booleans
- Function types
- Typing expressions
- Typing
lambda and app
- Recursion
- The
fix construct
- Implementing recursion
- Language Extension
- Adding concrete and abstract syntax
- Adding new values
- Extending
evalM and typeofM
- Using derived forms and elaboration
- Writing inference rules
- Mutable State
new, deref and set- Sequencing operations
- Assignment
- Locations