LU01.L08 - Paradigmen-Detektiv
Lösungstabelle
| Nr. | Stil | Merkmal im Code | Verändert bestehende Daten? |
|---|---|---|---|
| 1 | imperativ | Schleife über einen Bereich, Akkumulator summe wird mehrfach überschrieben (+=) | ja – die Variable summe |
| 2 | deklarativ | sum(…) beschreibt das Ergebnis, kein Zwischenzustand sichtbar | nein – neuer Wert |
| 3 | imperativ | sort() als Methode auf der Liste, gibt None zurück | ja – die Liste namen selbst |
| 4 | deklarativ | sorted() liefert eine neue Liste zurück, Original bleibt unangetastet | nein – neuer Wert |
| 5 | deklarativ | Es wird beschrieben, was dargestellt wird; Schriftgrösse, Position und Aufzählungszeichen entscheidet der Browser | nein |
| 6 | imperativ | leeres Gefäss [], for-Schleife, append – Ergebnis wird Schritt für Schritt aufgebaut | ja – die Liste gefiltert wächst |
| 7 | deklarativ | List Comprehension, liest sich als Satz über das Ergebnis | nein – neuer Wert |
| 8 | deklarativ | SQL beschreibt was geändert werden soll, nicht wie die Datenbank die Zeilen findet | ja – der Zustand der Datenbank |
| 9 | imperativ | global plus += – der Zustand ausserhalb der Funktion wird verändert | ja – die globale Variable zaehler |
| 10 | deklarativ | map beschreibt die Transformation, die Iteration steckt im Sprachkonstrukt | nein – neue Liste |
Antworten auf die Zusatzfragen
1. Deklarativ und trotzdem zustandsverändernd
Ausschnitt 8 (UPDATE). Die Behauptung, deklarativ sei automatisch seiteneffektfrei, ist falsch. Seiteneffektfreiheit ist eine Eigenschaft der puren funktionalen Programmierung, nicht der deklarativen Programmierung insgesamt.
- Deklarativ heisst nur: das Was wird beschrieben, nicht das Wie.
- Pur funktional verlangt zusätzlich, dass nichts ausserhalb der Funktion verändert wird.
Ein UPDATE beschreibt zwar deklarativ, welche Zeilen betroffen sind – die Wirkung auf die Datenbank bleibt aber ein handfester Seiteneffekt. Mehr dazu in LU02 (Pure Functions).
2. sort() vs. sorted()
Ausschnitt 3 (namen.sort()) ist gefährlicher. Die Methode sortiert die Liste an Ort und Stelle. Jede andere Stelle im Programm, die dieselbe Liste referenziert, sieht ab sofort die veränderte Reihenfolge – auch dann, wenn sie auf die ursprüngliche Eingabereihenfolge angewiesen war. Solche Fehler treten oft erst weit entfernt von der Ursache auf und sind entsprechend mühsam zu finden.
sorted() erzeugt dagegen eine neue Liste und lässt das Original in Ruhe. Wer die alte Reihenfolge noch braucht, hat sie noch.
3. Deklarativ ohne Funktionen
HTML ist deklarativ, kennt aber überhaupt keine Funktionen. Daraus folgt: deklarativ ist der Oberbegriff, funktional eine Teilmenge davon. Funktionale Programmierung ist ein deklarativer Stil, der zusätzlich Funktionen als Bausteine und Unveränderlichkeit verlangt. Andere deklarative Familien sind zum Beispiel die logische Programmierung (Prolog), Abfragesprachen (SQL) und Auszeichnungssprachen (HTML, CSS).
Häufige Fehler in dieser Aufgabe
- Ausschnitt 10 wird oft als imperativ eingestuft, weil
lambdanach Code aussieht. Entscheidend ist aber: Es wird keine Schleife geschrieben und kein Zwischenzustand aufgebaut. - Ausschnitt 1 und 2 werden korrekt getrennt, Ausschnitt 6 und 7 dann aber vergessen – dabei ist es dasselbe Muster mit einer Bedingung mehr.
- Ausschnitt 8 wird als imperativ eingestuft, weil er etwas verändert. Verändern und Wie-Beschreiben sind aber zwei verschiedene Dinge.
© Kevin Maurizi