Optional Static Typing
Talk Overview
Why Add Static Typing?
Checked vs. Unchecked
Declaration Syntax
Declaring Classes
Type Expressions
Constructing Types
Dynamic Casts
Parameterized Types
Parameterized Functions
Open Issues (1)
Open Issues (2)
Open Issues (3)
Implementation...?
Typecase Strawman
Contravariance
Email: guido@python.org
Home Page: http://www.python.org/~guido/
Download presentation source