====== 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).

<WRAP center round tip 80%>
**Häufige Fehler in dieser Aufgabe**

  * Ausschnitt 10 wird oft als imperativ eingestuft, weil ''lambda'' nach 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.
</WRAP>

----
[[https://creativecommons.org/licenses/by-nc-sa/4.0/ch/|{{https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png}}]] (c) Kevin Maurizi