...der deklarativen Programmierung
- Beweisbarkeit: Rechnen mit Programmen
wie in der Mathematik mit Termen
- Sicherheit: es gibt keine Nebenwirkungen
und Wirkungen sieht man bereits am Typ
- Wiederverwendbarkeit:
durch Entwurfsmuster (= Funktionen höherer Ordnung)
- Effizienz: durch Programmtransformationen im Compiler,
- Parallelisierbarkeit: durch Nebenwirkungsfreiheit
Johannes Waldmann
2012-06-25
