- Beweisbarkeit: Rechnen mit Programmteilen (= Werten)
wie in der Mathematik
- Sicherheit: es gibt keine Nebenwirkungen
und Wirkungen sieht man bereits am Typ
- Wiederverwendbarkeit:
durch Entwurfsmuster (= Funktionen höherer Ordnung)
- Effizienz: durch Programmtransformationen im Compiler,
auch für parallele Hardware.
Johannes Waldmann
2011-01-18
