Im vorherigen Artikel dieser Reihe warfen wir einen Blick auf die Programmiersprache Agda. Mit Agda kann man komplexe Spezifikationen ausdrücken und beweisen, dass der Code, den man gegen diese Spezifikationen schreibt, diese auch einhält. Wir hatten das anhand der natürlichen Zahlen und des Zusammenhangs von der Unärdarstellung und der Binärdarstellung illustriert. Zur Erinnerung: Wir hatten die unären natürlichen Zahlen so als Daten beschrieben:

data Nat : Set where
  zero : Nat
  suc : Nat -> Nat

Am 14.03.2025 fand die diesjährige BOB-Konferenz im Scandic-Hotel Potsdamer Platz, Berlin, statt – dieses Jahr mit 17 Vorträgen statt den in den Vorjahren üblichen 15. Ein Rückblick.

Das Spring-Framework und insbesondere Spring-Boot sind sehr populär und weit verbreitet in der Programmierung von Anwendungen mit Java. Für Scala gibt es andere beliebte Frameworks, insbesondere für die Programmierung von Webservern, wie zum Beispiel das Play Framework.

In dieser kleinen Serie von Artikeln wollen wir uns anschauen, ob und inwieweit man funktional in Scala programmieren und trotzdem Spring-Boot einsetzen kann.

Das Programm der Hauskonferenz der Active Group, der BOB 2025, steht: Am Freitag, dem 14.3.2025, findet die zwölfte BOB statt – wie im letzten Jahr im Scandic-Hotel Potsdamer Platz.

Das Programm ist eines unserer besten bisher.

Den Eröffnungsvortrag der BOB wird Annette Bieniusa halten – es wird um local-first software gehen.

Es gibt wie gewohnt vier Tracks – zwei Tracks mit Vorträgen, zwei Tracks mit Tutorials. Wir haben aber das Format etwas optimiert: Die Zeitslots für Talks und Tutorials sind synchronisiert. Das hat uns erlaubt, zwei weitere Talks im Programm unterzurbringen: Insgesamt 16 hochkarätige Talks und 8 Tutorials.

Die Anmeldung ist eröffnet – der Early-Bird-Rabatt läuft noch bis 17. Januar 2025.

Für diesen Artikel gibt es auch eine englischsprachige Übersetzung.

Datenmodellierung ist oft ein unterschätzter Aspekt der Softwarearchitektur, spielt jedoch eine entscheidende Rolle, um nicht nur funktionale, sondern auch Nutzbarkeits- und Wartungsziele zu erreichen. Schlechte Datenmodelle und schlecht integrierte Datenmodelle können die Architekturarbeit erheblich behindern. Daher sollte die Datenmodellierung – insbesondere die des zentralen Informationskerns eines Projekts – als grundlegende Verantwortung von Softwarearchitekt:innen angesehen werden.

Dies ist besonders relevant für die iSAQB Foundation-Schulungen, da dort kürzlich ein neues Lernziel zur Datenmodellierung hinzugefügt wurde.

Dieser Artikel untersucht zwei grundlegende Werkzeuge für gute Datenmodelle: Summen und Produkte. Diese Konzepte sind unter verschiedenen Namen bekannt, abhängig vom Kontext, der Community und der Programmiersprache. Produkte sind auch bekannt als Records, Structs, Datenklassen (data class), Tupel, zusammengesetzte Daten oder Und-Daten, während Summen als discriminated Union, disjoint Union, Union, gemischte Daten oder Oder-Daten bezeichnet werden.