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