Final Exam

Final

Date: 15 December, 1:30-4:00 or 5 December during class

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 elaboration
  • Writing inference rules
• Mutable State
  • new, deref and set
  • Sequencing operations
  • Locations