Christian Meichsner hat Informatik an der Technischen Universität Chemnitz studiert. Nach Stationen in Indien und Deutschland arbeitet er seit sieben Jahren als Software Engineer in der Schweiz vor allem im Bereich Frameworkentwicklung und Anwendungsarchitektur mit Java-basierten Technologien.

LOCATION: Luzern
KEYWORDS: Concept, Lessons learned, Methods, Tools

SPEAKER: Christian Meichsner   COMPANY: XELOG AG
SLIDES: 140225_Clojure_gix.pdf
SLIDES 2: 140225_Clojure-Sampe-Code.zip

Moderne Informationssysteme werden immer komplexer. Die korrekte Abbildung dieser Komplexität fordert dem Programmierer alles ab. Der Industriestandard Imperative Programmierung mit Unittests stösst hier zunehmen an seine Grenzen: Imperative Programmierung erfordert die Abbildung des "Was soll das Programm tun" durch ein "Wie soll das Programm etwas tun" und vermischt somit funktionale und nicht-funktionale Aspekte. Unittests sind ein Hilfsmittel, um Aussagen über die Korrektheit zu treffen, stossen aber für Java als Ausprägung einer "von Neumann" Sprache an ihre Grenzen. Logische Programmierung versucht diese Grenzen aufzubrechen und bietet dem Programmierer Werkzeuge für formal verifizierbare und sehr kompakt beschreibbare Lösungen.

Wir zeigen anhand der Programmiersprache Clojure sowie der Bibliothek logic.core die Grundprinzipien logischer Programmierung für bekannte Beispiele (n-Damen Problem, Sudoku). Anschliessend wagen wir einen Ausblick in die Anwendung logischer Programmierung für alltägliche und weniger alltägliche Probleme in der Industrie.

Dieser Vortrag wurde zusammen mit der Zürich Clojure User Group durchgeführt.

LEVEL OF TALK: Intermediate
LANGUAGE: Talk: de / Slides: en

Christian Meichsner hat Informatik an der Technischen Universität Chemnitz studiert. Nach Stationen in Indien und Deutschland arbeitet er seit sieben Jahren als Software Engineer in der Schweiz vor allem im Bereich Frameworkentwicklung und Anwendungsarchitektur mit Java-basierten Technologien.

---