Eine Einführung in Denotational Design Teil II: Zeitreihen

Dieser Artikel ist der zweite einer Serie von Artikeln über Denotational Design. Im vorherigen Teil dieser Reihe hatten wir die theoretische Grundlage von Denotational Design kennen gelernt: Die denotationelle Semantik. In diesem Artikel wollen wir dieses Werkzeug nutzen, um eine konkrete Fachlichkeit zu spezifizieren.

Weiterlesen...

Tutorialtag: einen Tag voll funktionaler Programmierung mit der Active Group

Funktionale Programmierung ist vielseitig und vielschichtig. Bei der Active Group haben wir über alle Mitarbeiter:innen verteilt eine Menge Fachwissen in verschiedensten Bereichen der funktionalen Programmierung angesammelt und uns überlegt, eine Veranstaltung zu organisieren, bei der wir die Möglichkeit bieten, in die unterschiedlichen Bereiche und Sprachen einmal hineinzuschnuppern. Die Form: ein Tutorialtag am 18.04.2024 von 9-18 Uhr, online – zwölf anderthalbstündige Tutorials mit den FP-Expert:innen der Active Group und zum Abschluss ein Ask-Me-Anything mit Dr. Michael Sperber.

Weiterlesen...

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...