DDD mit funktionalen Sprachen

Klassisch werden dabei objektorientierte Domänenmodelle implementiert, aber DDD lässt einem bei der Wahl des Paradigmas vollkommene Freiheit.

Statisch typisierte funktionale Sprachen wie F# eröffnen alternative Möglichkeiten mit Typen und Modellen die Domäne zu designen. Funktionale Typen erlauben eine natürlichere Modellierung als mit OO möglich wäre, und die entstehende Representation der Domäne ist dabei noch selbst-dokumentierend. Häufig lassen sich Businessregeln sogar so implementieren, das man mit ihnen kein inkorrektes Verhalten coden kann. Sozusagen ein automatischer Unittest durch den Compiler.

Ich möchte mit euch gemeinsam erforschen, wie natürlich und elegant Domänen mit funktionalen Typen modelliert werden.

Kein Vorwissen in DDD, F# oder funktionaler Programmierung erforderlich.