Systematische Entwicklung mit funktionaler Programmierung

Unter .NET wird FP von F# perfekt unterstützt: Die Session ist eine Turbo-Einführung.

Im Vordergrund steht die systematische Konstruktion von korrekten Programmen.  Dies unterstützen funktionale Programmiersprachen besonders gut - der systematische Einsatz von Abstraktion führt uns zu Funktionen höherer Ordung und anderen FP-typischen Techniken.  Wir formulieren dann allgemeingültige Eigenschaften von Programmen als Code, aus denen automatisch Tests mit hervorragenden Abdeckungseigenschaften werden.

Die erlernten Techniken können auf alle funktionalen Sprache wie z.B. F# und mit Abstrichen auch auf konventionelle OO-Sprachen wie C# übertragen werden.  Für den Workshop wird die Programmierumgebung Racket benutzt:

http://racket-lang.org/