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...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...Racket steht – wie allen Lisp-Dialekten – das mächtige Werkzeug Makros zur Verfügung. Mit ihnen können wir die Sprache erweitern und an unsere Bedürfnisse anpassen. Dabei sind nicht nur einfache syntaktische Konstrukte möglich, nein, ganze Typsysteme (wie zum Beispiel „Typed Racket“) oder Concurrency-Systeme („core.async“ aus Clojure) können damit implementiert werden.
Ein weiterer Aspekt sind eingebettete domänenspezifische Sprachen (eDSL): mithilfe von Makros kann eine präzise, den Fachbegriffen der Domäne entsprechende Sprache mit angepasster Syntax, entwickelt werden.
Racket geht den Weg der DSLs noch ein Stück weiter: Hier können wir die DSLs ganz ohne Racket-Code drum herum verwenden. Wie aus einer eDSL eine DSL wird schauen wir uns heute an!
Weiterlesen...