Diese Website wurde aus einer funktionalen Spezifikation mit der Programmiersprache Haskell erzeugt. Die einzelnen Seiten sind in Form von Funktionen definiert, und die einzelnen Inhaltsfragmente sind strukturierte Daten. Template-Funktionen garantieren ein einheitliches Erscheinungsbild. Das Haskell-Programm generiert statische HTML-Seiten.
Die hierarchische Navigationsstruktur ist ebenfalls im Programm hinterlegt, so dass das Navigationsmenü und die Links zwischen den einzelnen Seiten automatisch erzeugt werden können.
Ich verwende u.a. die Haskell-Bibliothek WASH zur Erzeugung von HTML. Dadurch ist die syntaktische Korrektheit des HTML-Codes garantiert, da dieser bereits zur Compile-Zeit des Haskell-Programms überprüft wird.