Algebraische Effekte ermöglichen es, Seiteneffekte elegant auszudrücken und ausführende Operationen zu kombinieren. Mit algebraischen Effekten können viele „pain points“ der funktionalen Programmierung gelöst werden. Insbesondere reduzieren sie die Komplexität, die aus dem Umgang mit Seiteneffekten entsteht. Dieser Artikel gibt anhand der Programmiersprache Koka eine Einführung in algebraische Effekte und erläutert dem Leser die Vorteile und möglichen Anwendungen.
Weiterlesen...Am Freitag, 28. Februar 2020, wird die BOB, unsere Konferenz über das Beste in der Softwareentwicklung, am gewohnten Ort bei Lohmann & Birkner in Berlin stattfinden.
Die BOB tut sich 2020 wieder im Doppelpack mit der :clojureD zusammen. Die :clojureD ist am Tag direkt nach der BOB, dem 29. Februar.
Einen Terminkonflikt mit den Lambda Days (am 13./14.2.) gibt es 2020 glücklicherweise nicht.
Die Keynote hält dieses Mal Heather Miller von der Carnegie Mellon University in Pittsburgh.
Der Call for Contributions ist eröffnet. Schicken Sie uns also (bis zum 8. November) Ihren Vorschlag für einen Vortrag oder ein Tutorial - das Programmkomittee freut sich darauf! Es gibt wieder Referentinnen-Zuschüsse für Referenten aus unterrepräsentierten Gruppen.
Weiterlesen...Dieser Blogpost ist eine Fortführung von Makros in Clojure. Wir werden weitere Makro-Begriffe, wie zum Beispiel das Syntax-Quote, kennenlernen und uns mit Makro-Hygiene beschäftigen. Dies wird es uns erleichtern, auch komplexere Makros fehlerfrei zu schreiben. Es empfiehlt sich, den vorherigen Beitrag gelesen zu haben.
Weiterlesen...Funktionale Tests, also Tests die das Ergebnis einer Berechnung überprüfen, und Benchmarks sind fester Bestandteil moderner Softwareentwicklung. Manchmal möchte man jedoch sicherstellen, dass der Compiler bestimmte Optimierungen durchführt oder zeigen, dass der generierte Code genau so ist wie erwartet.
Für GHC, dem Standard-Compiler für Haskell, gibt es genau zu diesem Zweck die Library inspection-testing. Hierzu gab es auf der letzten BOB-Konferenz in Berlin auch einen Vortrag.
Weiterlesen...Unsere Konferenz BOB ist im Jahr 2019 mächtig aktiv. Neben der „üblichen“ Auflage im Februar/März findet dieses Jahr auch eine einmalige Sommerausgabe, ebenfalls in Berlin, statt. Zur Sommerausgabe gab‘s in diesem Blog schon mal was zu lesen, aber auch die Ausgabe im März verdient Aufmerksamkeit in Form eines Rückblicks, fand im März 2019 doch die 5. Ausgabe der Konferenz und somit auch ein kleines Jubiläum statt.
Weiterlesen...