Wir gewöhnen uns langsam an einen "funktionalen Stil" in Java und anderen JVM Sprachen. Das ist ein Fortschritt. Die grossen Vorteile der funktionalen Programmierung ergeben sich jedoch erst, wenn man sie so konsequent umsetzt wie Frege, das die Eigenschaften von Haskell auf die JVM bringt.

Wie weit kann man kommen ohne veränderliche Objekte, ohne Zuweisungen, ohne Statements, ohne null und mit Bedarfsauswertung und klar abgegrenzten Effekten? Diese Session zeigt eine grundlegend neue Art zu programmieren, bei der logische Schlussfolgerungen wieder Sinn machen.