LiP lab

LiP students are expected to fork the repository and push solutions to the exercises on their fork.

Course outline

Warm-up exercises

1. Adder
2. Tug of war (optional)

Lexing and parsing

1. Regexp recognizer
2. Context-free grammars
3. A toy lexer
4. A toy parser
5. Game of life (optional)

Expressions

1. A minimal language of boolean expressions
2. Boolean expressions with not, and, or
3. Typed arithmetic expressions with dynamic type checking
4. Typed arithmetic expressions with static type checking

Imperative languages

1. A simple imperative language
2. Declaration blocks
3. Functions

References

• OCaml Programming: Correct + Efficient + Beautiful
• OCaml from the very beginning
• B. Pierce. Types and Programming Languages. MIT Press, 2002
• Menhir manual and demos