Type System

What is it?

A set of rules how variables, expressions & functions interact with each other

Covers

• Sub-types
• Compule-time Types
• Run-time Types
• Generics
• Type Inference (类型推断)
• Custom Types