Polymorphe Typsysteme

Typsysteme - wozu?

Typ und Typsystem

Programmiersprachen

monomorphe und polymorphe Sprachen

Statisch und streng getypte Sprachen

Polymorphismus

Überladen

Koerzion (Typkonvertierung)

Verchwimmende Grenzen

Inklusionsbasierter Polymorphismus

Inklusionsbasierter Polymorphismus

Scheme Typed Scheme

Typsystem in Scheme – Wozu?

Beispiele Typed Scheme

type

Beispiele

Typoperator

Parametrischer Polymorphismus I

Universelle Quantifikation

Parametrischer Polymorphismus II

scheinbare Typlosigkeit

Monomorphismus  Polymorphismus

Fazit

Quellen