CMSC330 Spring 2024 Lecture Notes and Examples

Lecture notes

• Basics
• List
• Let Expressions
• Tuple
• Record
• Anonymous Functions
• Map and Fold
• Tail Recursion
• Data Types (Variants)
• Exception
• Closures
• Imperative OCaml
• Operational Semantics
• QCheck: Property-Based Random Testing
• Modules
• Lambda Calculus
• Rust

Examples

• Dune examples
• Map & Fold Examples
• List Recursive Function Example
• Expression evaluation
• Natural number
• Implement map (dictionary) using functions
• Subset Construction (NFA to DFA Conversion)
• Recursive Descent Parser
  • Addition and Multiplication Expression
  • Addition and Multiplication Expression (Dune project)
  • Parser example from the lecture slides (with visualiztion)
• Substitution based evaluator (interpreter)
• Environment based evaluator (interpreter)
• QCheck:Property-Based Random Testing
• Module examples
• Lambda Calculus
• 99 Problems in Rust