Statische Typüberprüfung am Beispiel von ML und Haskell

Inhaltsübersicht

• Kurze Beschreibung der Programmiersprachen ML und Haskell
  • ML
  • Haskell
     
• Statische Typüberprüfung
  • Getypte und ungetypte Sprachen
  • Typsysteme
  • Laufzeitfehler
  • Starke und schwache Typisierung
  • Statische und dynamische Typüberprüfung
     
• Typvergleiche
  • Strukturelle Gleichheit
  • Namensgleichheit
     
• Typinferenz
  • Beschreibung Typinferenz
  • Hindley-Milner Typüberprüfung
  • Instantiierung
  • Unifikation
     
• Typüberprüfung und Polymorphie
  • Vorteile der Hindley-Milner Typüberprüfung
  • Polymorphe Typen
  • Polymorphe Funktionen
     
• Literaturverzeichnis