Einführung in die funktionale Programmiersprache Haskell

Kapitel 3 - Zahlen

Timo Wlecke (wi3309)

Inhalt:

• Einleitung
• Rekursive Datenstrukturen
  • Natürliche Zahlen
  • Partielle Zahlen
• Induktion
  • Strukturelle Induktion
  • Vollständige Induktion
  • Programmsynthese
• Fold-Funktion
  • Fold
  • Fusion
  • Beispiele
• Typklassen in Haskell
  • Grundlagen
  • Numerische Typklassen
• Beispiel: Rational
• Beispiel: Lineare und binäre Suche
• Exkurs: Zahlen nach Church
• Quellen