Contents
Next:EinführungUp:Vorlesungsskriptum zu Prog3Previous:Vorlesungsskriptum zu Prog3
Contents
- ContentsContents
-
EinführungEinführung
- Zweck der VorlesungZweck der Vorlesung
- Einschränkungen / RandbedingungenEinschränkungen / Randbedingungen
- Plan der VorlesungPlan der Vorlesung
- Überblick "`Höhere Programmiersprachen"'Überblick "`Höhere Programmiersprachen"'
- Funktionale Sprachen - Was, Wie, Warum?Funktionale Sprachen - Was, Wie, Warum?
- HaskellHaskell
- LiteraturLiteratur
-
Kurze Rundreise durch HaskellKurze Rundreise durch Haskell
- Sitzungen mit HugsSitzungen mit Hugs
-
Grundlegende SprachelementeGrundlegende Sprachelemente
- BezeichnerBezeichner
- KommentareKommentare
- Klammerung / KlammerersparnisKlammerung / Klammerersparnis
- LayoutLayout
- Lokale DefinitionenLokale Definitionen
- TypenTypen
- Typen von FunktionenTypen von Funktionen
- FunktionsdefinitionenFunktionsdefinitionen
- OperatorenOperatoren
- Beispiel: Newton-ApproximationBeispiel: Newton-Approximation
- Auswertung von AusdrückenAuswertung von Ausdrücken
- Input / OutputInput / Output
-
ListenListen
- ElementaresElementares
- Beispiel: Sortieren durch EinfügenBeispiel: Sortieren durch Einfügen
- Beispiel: "`Datenbank"'Beispiel: "`Datenbank"'
- Higher order functions (HOFs) für ListenHigher order functions (HOFs) für Listen
- Wiederaufnahme der Beispiele 3.2 und 3.3Wiederaufnahme der Beispiele 3.2 und 3.3
- Beispiel: Text-VerarbeitungBeispiel: Text-Verarbeitung
- EffizienzEffizienz
- Unendliche ListenUnendliche Listen
- Beispiel: Erzeugung von PrimzahlenBeispiel: Erzeugung von Primzahlen
- Beispiel: Numerische Differentation und IntegrationBeispiel: Numerische Differentation und Integration
- Beispiel: Modellierung von SchaltungenBeispiel: Modellierung von Schaltungen
-
Benutzerdefinierte Datentypen und TypklassenBenutzerdefinierte Datentypen und Typklassen
- Algebraische DatentypenAlgebraische Datentypen
- Abstrakte DatentypenAbstrakte Datentypen
- KlassenKlassen
- ÜbungenÜbungen
- Proseminar-TestsProseminar-Tests
Ronald Blaschke
1998-04-19