BOB Konferenz 2021 läuft an!

Am Freitag, 26. Februar 2021, findet die BOB, unsere Konferenz über das Beste in der Softwareentwicklung, wieder statt – diesmal voraussichtlich rein virtuell.

Die Keynote hält dieses Mal Jeremy Gibbons von der University of Oxford, Thema „How I Design Programs“.

Der Call for Contributions ist eröffnet. Schicken Sie uns also (bis zum 13. November) Ihren Vorschlag für einen Vortrag oder ein Tutorial - das Programmkomittee freut sich darauf!

Weiterlesen...

Dependently-Typed TypeScript

TypeScript ist eine Programmiersprache mit einigen Besonderheiten: Im Gegensatz zu den allermeisten anderen getypten Programmiersprachen wurde sie als Aufsatz für JavaScript (JS) entwickelt. Dabei hat Microsoft besonderen Wert darauf gelegt, dass sich die Sprache möglichst nahtlos in die bestehenden Ökosysteme (Node.js und Browser) integriert. Das wird dadurch erreicht, dass die TypeScript-Syntax „bloß“ die Typen zu JavaScript hinzufügt und die Kompilierung aus dem Entfernen der Typannotationen besteht. Damit hat sich TypeScript zum de-facto Standard entwickelt, wenn es darum geht, typsichere Anwendungen auf JS-Basis zu bauen.

Weiterlesen...

Aufgehübscht! — Pretty-Printing

Um ein (verschachteltes) Objekt komfortabel untersuchen zu können, wird eine gute Darstellung desselben in Form von Text benötigt. Pretty-Printer versuchen genau das: Dinge so auf den Bildschirm zu drucken, dass die interne Struktur auf einen Blick ersichtlich ist. Wir schauen uns heute den Pretty-Printer aus Philip Wadlers Paper „A prettier printer“ (1997) an, dessen Besonderheit die Anwedung von Algebra auf Design und Implementierung ist. Daran werden wir ein weiteres Mal sehen, dass Datenmodellierung und Abstraktion der funktionalen Programmierung zu wunderbar einfachem und prägnantem Quellcode führen, der komplexe Domänen elegant beschreibt.

Weiterlesen...

Checkpad sucht Softwareentwicklerinnen und Softwareentwickler

Wir von Checkpad suchen eine Softwareentwicklerin oder einen Softwareentwickler mit Schwerpunkt funktionaler Programmierung an unserem Standort in Freiburg! Unser Produkt Checkpad besteht aus einer web-basierten und einer mobilen Softwarelösung, mit der viele Arbeitsabläufe im Krankenhaus einfacher und effizienter gestaltet werden können. Wir setzen zwar nicht ausschließlich funktionale Programmiersprachen ein, ein großer Teil der Software ist aber in Haskell geschrieben und auch beim Einsatz andere Programmiersprachen (z.B. Typescript oder Dart) lassen wir uns von funktionalen Design- und Architekturprinzipien leiten.

Weiterlesen...

Simple Restarts: Hinter den Kulissen

Im vorherigen Blogpost haben wir Conditional Restarts in Clojure kennen gelernt und dabei die Bibliothek „Simple Restarts“ verwendet. Diese Bibliothek wurde als Anschauungsbeispiel erstellt, um Conditional Restarts in Clojure zu erklären. In diesem Blogpost werden wir einen Blick hinter die Kulissen werfen und verstehen, wie die Magie hinter „Simple Restarts“ implementiert ist: Eine lehrreiche Reise voller Illusion, Überraschungen und „Aha!“s.

Weiterlesen...