Grundlegende Konzepte

• Das Typensystem von OCaml
• Die Auswertungsstrategie von OCaml
• Variablen
• Funktionen
• Pattern Matching
• Polymorphismus
• Produkttypen
• Summentypen
• Listen