Inhaltsverzeichnis

Titel

Typsysteme - Wozu?

Definition Typ und Typsystem

monomorphe <-> polymorphe Sprachen

monomorphe und polymorphe Sprachen

statisch und streng getypte Sprachen

Polymorphismus

Überladen

Koerzion (Typkonvertierung)

Verschwimmende Grenzen

inklusionsbasierter Polymorphismus

Inklusionsbasierter Polymorphismus II

Scheme -> Typed Scheme

Typsystem in Scheme - Wozu?

Beispiele Typed Scheme

type

Probleme von type

Typoperator

parametrischer Polymorphismus

Universelle Quantifikation

parametrischer Polymorphismus II

scheinbare Typlosigkeit

Monomorphismus -> Polymorphismus

Fazit

Quellen

Autor: Markus Stengel

E-Mail: public@markusstengel.de

Homepage: http://www.markusstengel.de/