Auteur : Marcus Denker

Titre : Practical, Pluggable Types for a Dynamic Language 

Abstract : 

Most languages fall into one of two camps: either they adopt a unique, static 
type system, or they abandon static type-checks for run-time checks. Pluggable 
types blur this division by making static type systems optional, and supporting
a choice of type systems for reasoning about different kinds of static 
properties.

Dynamic languages can then benefit from static-checking without sacrificing 
dynamic features or committing to a unique, static type system.

This talk discusses the idea of pluggable types in general and presents 
TypePlug, a realization of pluggable types for Smalltalk.