Deklarative Programmierung

Transkript

1 Deklarative Programmierung Prof. Dr. Sibylle Schwarz Westsächsische Hochschule Zwickau Dr. Friedrichs-Ring 2a, RII WS 2012/2013 1

2 Motivation... there are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult. Tony Hoare, 1980 ACM Turing Award Lecture 2

3 Programmierparadigmen Abstraktionsstufen: Programmierung = Maschinencode menschenlesbare symbolische Darstellung (Assembler) Programmablauf- und Datenstrukturen (Algorithmen) (imperative und objektorientierte Sprachen) deklarative Programmiersprachen (Constraint-Programmierung, logische Programmierung, funktionale Programmierung) Unterschied besteht darin, wie detailliert das Programm den Lösungsweg beschreiben muss. 3

4 Deklarative vs. imperative Programmierung deklarativ (beschreibend) Programm: Repräsentation eines Problems Programmelemente: Ausdrücke (Terme) und Gleichungen Programmierung: Modellierung der Aufgabe Ausführung: Lösung des beschriebenen Problems durch Umformung von Ausdrücken imperativ zustandsorientiert (von-neumann-typ) Programm: Repräsentation eines Algorithmus Programmelemente: Ausdrücke und Anweisungen Programmierung: Modellierung eines Verfahrens zur Lösung einer Aufgabe Ausführung des Lösungsverfahrens durch schrittweise Zustandsänderungen (Speicherbelegung) 4

5 Deklarative Programmierung Grundidee: Jedes Programm ist ein mathematisches Objekt mit einer bekannten wohldefinierten Semantik funktionale Programmierung (z.b. Haskell, ML, Lisp): Programm: Menge von Funktions-Definitionen (Gleichungen zwischen Termen) Ausführung: Pattern matching, Reduktion (Termersetzung) logische Programmierung (Prolog): Programm: Menge logischer Formeln (Horn-Klauseln) Ausführung: Unifikation, SLD-Resolution funktional-logische Programmierung (z.b. Mercury, Curry): Kombination funktionaler und logischer Konzepte Constraint-Programmierung: Programm: Menge von Constraints (z.b. Gleichungen, Ungleichungen, logische Formeln) Ausführung: Constraint-Löser (abhängig vom Constraint-Bereich) Beispiel: Constraints: Menge linearer Gleichungen Constraint-Löser: Gauß-Algorithmus 5

6 Einordnung in die Informatik Informatik Lehre von Darstellung und Verarbeitung von Information Anteil der Teilgebiete der Informatik: theoretische Informatik: Grundlagen formale Sprachen, Prädikatenlogik, Berechnungsmodell λ-kalkül technische Informatik: praktische Informatik: Grundlagen und Anwendung Programmierung, Softwareentwicklung, Übersetzerbau, rapid Prototyping, ausführbare Spezifikation, Verifikation deklarative Konzepte in Mainstream-Sprachen angewandte Informatik: Anwendung z.b. Finanzkalkulationen, sicherheitskritische Anwendungen, KI, Audio-Programmierung 6

7 Organisation der Lehrveranstaltung dienstags Vorlesung 14tägig (Z1) Übung / Praktikum Beispiele und schriftliche Übungen Prüfungsvorleistung: Testat (regelmäßiges Lösen der praktischen Aufgaben in den Übungen) alternative Prüfungsleistung: Programmierprojekt: Kryptographische Verfahren, z.b. ElGamal, Diffie-Hellman (neue autotool-aufgaben) Gruppen zu je drei Studenten Präsentation / Vortrag elektronische Einschreibung nicht vergessen 7

8 Literatur online: Informationen, Download, Dokumentation, Tutorials,... Bücher: Graham Hutton: Programming in Haskell, Cambridge 2007 Klassiker (englisch): deutsch: Peter Pepper und Petra Hofstedt: Funktionale Programmierung. Sprachdesign und Programmiertechnik Springer 2006 Manuel Chakravarty und Gabriele Keller: Einführung in die Programmierung mit Haskell Pearson

9 Werkzeug und Stil Die Grenzen meiner Sprache bedeuten die Grenzen meiner Welt. Ludwig Wittgenstein speziell in der Informatik: We are all shaped by the tools we use, in particular: the formalisms we use shape our thinking habits, for better or for worse, and that means that we have to be very careful in the choice of what we learn and teach, for unlearning is not really possible. (Many years ago, if I could use a new assistant, one prerequisite would be No prior exposure to FORTRAN", and at high schools in Siberia, the teaching of BASIC was not allowed.) Edsger W. Dijkstra aus E. W. Dijkstra Archive 9

10 Funktionale Programmierung Idee: Programm besteht aus einer Menge von Funktionsdefinitionen (Termgleichungen) einem Ausdruck Vorteile: deklarativ: Jedes funktionale Programm beschreibt ein Problem, nicht dessen Lösung Funktionen sind Daten, können also selbst Argumente und Ergebnisse von Funktionen sein (Funktionen höherer Ordnung) Rein funktionale Programme sind zustandsund damit nebenwirkungsfrei, daher Korrektheit einfach nachprüfbar (Verifikation) einfache modulare Konstruktion einfach parallelisierbar Programm repräsentiert seine Semantik (ausführbare Spezifikation, geeignet für rapid 10

11 Geschichte ab ca Alonzo Church λ-kalkül ab ca John McCarthy LISP ab ca Peter Landin ISWIM ab ca John Backus FP Robin Milner ML David Turner Miranda ab 1987 Haskell 11

12 Warum Haskell? deklarativ, Nähe zum (mathematischen) Modell keine Nebenwirkungen (klare Semantik) Funktionen sind Daten (Funktionen höherer Ordnung) starkes Typsystem Typklassen lazy evaluation (ermöglicht Rechnen mit unendlichen Datenstrukturen) kompakte Darstellung (kurze Programme) Modulsystem 12

13 Entwicklung von Haskell-Programmen Haskell-Interpreter: ghci, Hugs Haskell-Compiler: ghc Entwicklungsumgebungen: alles kostenlos und open source Real Programmers ( 13