7. The Type System
-
Semantics of the Perspectives Language – An informal semantics for the Perspectives Language. We use the concepts of Sum- and Product types loosely in the way of Category Theory.
-
Logical Foundation of Types – Perspectives types considered as propositional logic.
-
Type reflection – We must be able to look up the definition of a type at all times.