Die Konferenz BOB 2016 ist in den Startlöchern: Am Freitag, 19.2.2016 findet die zweite Auflage in Berlin statt. Wir laden alle Interessierten ein, sich bei Vorträgen und Tutorien über das Beste zu informieren, was die Softwareentwicklung zu bieten hat. Das Programm besteht aus zwei parallelen Tracks mit insgesamt 14 Vorträgen sowie zwei Tracks mit acht Tutorials. Die Online-Registrierung läuft; bis zum 17.1. gibt es noch Frühbucherrabatt.
Weiterlesen...Wir von factis research suchen Softwareentwicklerinnen und Softwareentwickler mit Schwerpunkt funktionale Programmierung.
Factis research entwickelt das Produkt Checkpad MED, eine elektronische Patientenakte für iPad, iPhone und Co. Bei Checkpad kommt an vielen Stellen funktionale Programmierung zum Einsatz. So ist z.B. das Backend fast komplett in Haskell geschrieben, aber auch im iOS-Client möchten wir vermehrt auf die funktionalen Features der Sprache Swift setzen.
Wir brauchen Unterstützung bei der Entwicklung von Checkpad!
Weiterlesen...Letztes Jahr hat Apple mit Swift eine neue Programmiersprache vorgestellt. Über kurz oder lang wird Swift die Standardsprache werden, um Apps für iPhone, iPad, Mac und Co zu entwickeln. Und Swift enthält viele Elemente der funktionalen Programmierung, Zeit genug also, dass wir in diesem Blog mal einen genaueren Blick auf die Sprache werfen.
Interessant ist, dass Apple in Swift nicht nur einfach ein paar liebgewonnene Features aus funktionalen Sprachen eingebaut hat. Nein, es scheint vielmehr, dass grundlegende funktionale Designparadigmen wie „Werte statt veränderbare Objekte“ und „Seiteneffekte ja, aber mit Disziplin“ auch in Apples Vorstellung von guter Softwarearchitektur eine große Rolle spielen. Exemplarisch seien hier zwei Vorträge der Apple Worldwide Developers Conference genannt. Im Vortrag Building Better Apps with Value Types in Swift geht es um die Vorteile von Werttypen (value types) in Swift, also von Typen deren Werte unveränderbar sind. Und der Vortrag Advanced iOS Application Architecture and Patterns schlägt in dieselbe Kerbe, hier geht es ebenfalls um Werttypen und Unveränderbarkeit (immutability).
Weiterlesen...Nachdem die BOB 2015 ein voller Erfolg war, laufen die Vorbereitungen für die BOB 2016 auf vollen Touren. Am
Der Call for Contributions ist eröffnet. Schicken Sie uns also (bis zum 30. Oktober) Ihren Vorschlag für einen Vortrag oder ein Tutorial! Das Programmkomittee freut sich darauf! Zum ersten Mal gibt es auch Referenten-Zuschüsse für Referenten aus unterrepräsentierten Gruppen.
Außerdem freuen wir uns auf die Keynote von Elise Huard, die sich bei Mastodon C mit Big Data und funktionaler Programmierung beschäftigt.
Weiterlesen...Im ersten Teil des Artikels haben wir Kommandozeilenoptionen mit der Bibliothek System.Console.GetOpt verarbeitet.
Die geparsten Kommandozeilenoptionen wurden, dabei in Form einer Liste zurückgeliefert, die man durchsuchen muss, um festzustellen, ob eine bestimmte Kommandozeilenoption angegeben wurde. Da es für die Weiterverarbeitung der Kommandozeilenoptionen in der Anwendung von Vorteil ist, die Optionen als Record-Typ darzustellen, haben wir eine Umwandlungsfunktion geschrieben, die die Daten von der Form als Liste des Summentyps in den Produkttyp umwandelt.
Der Ansatz führte jedoch dazu, dass wir jede Kommandozeilenoption einmal als Konstruktor im Summentyp, und einmal als Feld im Recordtyp definiert haben. Zusammen mit dem Eintrag in der Optionsliste (vom Typ [OptDescr a]) und dem Code in der Umwandlungsfunktion hatten wir dadurch vier Stellen, die angepasst werden müssten, wenn man z.B. eine Kommandozeilenoption hinzufügt. Allerdings kann es bei späteren Anpassungen leicht passieren, dass man den Summentyp erweitert, aber den Eintrag in der Optionsliste nicht anpasst, ohne dass es hierdurch zu einem Compilerfehler kommt.
Bei der Entwicklung von komplexen Anwendungen sind redundant vorhandene Informationen oft eine Fehlerquelle und führen zu höherem Wartungsaufwand (vgl. auch DRY Prinzip). Um die Redundanz an dieser Stelle zu reduzieren kann man in Haskell die Spracherweiterungen Generics und Literale auf der Typebene einsetzen. Die beiden Spracherweiterungen ermöglichen eine typsichere Abstraktion über die Datenstrukur - insbesondere werden hierdurch Fehler bereits bei der Kompilierung des Programms erkannt, statt erst zur Laufzeit.
Wir wollen in diesem zweiten Teil des Artikels mit Hilfe der obigen Spracherweiterung einen generischen Kommandozeilenparser entwickeln, mit dem das Parsen von Kommandozeilenoptionen in einen Record-Typ ohne redundanten Code möglich ist.
Weiterlesen...