Notes on Type Theory for absolute beginners
One important subject we analyse in languages is its type system. Having a general overview of a type system provides information about the language structure, possible optimisations and may help us to understand how statements are evaluated. Those are topics that we shall consider for when creating a new project. This talk will provide a gentle introduction to type theory, explaining step by step how we transform source code into logical statements.
Salle Gosling (F08)
Topics we will cover:
- Why Type Theory?
- Quick introduction to logic
- Where are those concepts used?
- An analysis of Java Type System