Einführung in Denotational Design, Teil I: Denotationelle Semantik

Dieser Artikel ist der Beginn einer Reihe über Denotational Design. In diesem Artikel geht es um die denotationelle Semantik. Im nächsten Artikel wenden wir die hier dargestellte Theorie auf ein Praxisbeispiel an.

Weiterlesen...

Rezension von Sandy Maguire: Algebra-Driven Design

Maguires Buch handelt von Domänenmodellierung mit Algebra und funktionaler Programmierung, oder, anders gesagt, vom konzipieren von Kombinatormodellen. Dieses Thema ist bereits in zahllosen Papers gut untersucht worden, angefangen (vermutlich) mit Peter Hendersons Functional Geometry [Henderson(1982)].

Weiterlesen...

Das Programm für die BOB 2024 am 15.3. steht!

BOB 2024

Das Programm der BOB 2024 steht: Am Freitag, dem 15.3.2024, findet die elfte BOB statt.

Eine große Änderung gibt es beim Veranstaltungsort bin Berlin: Die BOB 2024 findet im Scandic-Hotel Potsdamer Platz statt.

Das Programm speiste sich aus einem neuen Rekord bei den Einreichungen und hat (wieder) viel zu bieten. Leider mussten wir wieder viele tolle Beiträge ablehnen.

Den Eröffnungsvortrag der BOB wird Andreas Rossberg halten, der aus seiner Arbeit als Architekt von WebAssembly berichten wir.d

Danach gibt es das gewohnte Format vier Tracks - zwei Tracks mit jeweils sieben Vorträgen und zwei Tracks mit jeweils vier Tutorials.

Die Anmeldung ist eröffnet - der Early-Bird-Rabatt läuft noch bis 30. Januar 2024.

Weiterlesen...

Bibliothek für Konfigurationen

Software muss konfigurierbar sein, um flexibel zu sein. Eine Konfiguration legt Parameter und Einstellungen für eine Software fest. Meist sind die Einstellungen in einer Konfigurationsdatei gespeichert, welche die Software einliest. Aber wie stellen wir sicher, dass eine Konfiguration vollständig und gültig ist? Also dass alle Aspekte, die konfiguriert werden müssen, auch konfiguriert sind? Dass es sinnvolle Voreinstellungen gibt für nicht explizit konfigurierte Werte? Und dass die Werte, die in der Konfiguration eingetragen sind, auch sinnvolle Werte sind?

Um diese Fragen nicht für jedes Projekt neu zu beantworten, haben wir für Clojure und ClojureScript eine Bibliothek für Konfigurationen entwickelt, die wir seit vielen Jahren in der Praxis erfolgreich einsetzen – und in diesem Artikel vorstellen.

Weiterlesen...

Startschuss für die BOB 2024!

Am 15. März 2024 findet die BOB, unsere Konferenz über das Beste in der Softwareentwicklung, statt – wieder in Berlin.

Die Keynote hält dieses Mal Andreas Rossberg, maßgeblich mitverantwortlich für das Design von WebAssembly.

Der Call for Contributions läuft. Schicken Sie uns also (bis zum 17. November 2023) Ihren Vorschlag für einen Vortrag oder ein Tutorial - das Programmkomitee freut sich darauf!

Weiterlesen...