Optional Static Typing

1/21/00


Click here to start


Table of Contents

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

Author: Guido van Rossum

Email: guido@python.org

Home Page: http://www.python.org/~guido/

Download presentation source