Kommerzielle Softwareentwicklung mit Haskell

Transkript

1 Kommerzielle Softwareentwicklung mit Haskell Ein Erfahrungsbericht Stefan Wehr factis research GmbH, Freiburg im Breisgau 7. Oktober 2011, Hal6 in Leipzig

2 Viele Fragen Wer sind wir? Wer bin ich? Wie setzen wir Haskell im kommerziellen Umfeld ein? Welche Vorteile haben wir durch Haskell? Mit welchen Problemen kämpfen wir? Welche Verbesserungen wären gut? Was haben wir gelernt? 2

3 Frage: Wer sind wir? Wer bin ich? Kleine Firma aus Freiburg i. Brsg. Gegründet 2001 Vier feste, etwa sechs freie Mitarbeiter Produktentwicklung im Bereich mobiler und serverbasierter Anwendungen Über mich: Haskell seit 2003 Erfahrung mit Haskell in zahlreichen wissenschaftlichen Projekten 3

4 Frage: Wie setzen wir Haskell im kommerziellen Umfeld ein? Produkt: Checkpad MED Elektronische Krankenakte auf dem ipad In der Entwicklung seit Anfang 2010 Pilotbetrieb in mehreren Krankenhäusern Substanzieller Teil in Haskell geschrieben 4

5 Architektur von Checkpad MED Krankenhaus Mobile Gateway Haskell SQL, HL7, DICOM XML, HTTP Protocol Buffers ipads Data Server 5

6 Aufgaben des Mobile Gateways Anpassung der Daten für das ipad Workflow Synchronisation 6

7 Architektur des Mobile Gateways XML, HTTP Newswatch Workflow Derivations Sync Protocol Buffers 7

8 Frage: Welche Vorteile haben wir durch Haskell? Hohe Ausdruckskraft Bibliothek zum bidirektionalen Serialisieren/Deserialisieren Statisches Typsystem DAG-Struktur mit statischer Garantie dass nur gewisse Knotentypen verbunden sind Kontrollierte Seiteneffekte Nebenläufigkeit mit STM Test der Netzwerkkommunikation durch Abstraktion über Netzwerkoperationen siehe nächste Folie Gute Testbarkeit QuickCheck Automatische Korrektheit Haskell Community 8

9 Nebenläufigkeit mit STM STM: Software Transactional Memory Atomare Ausführung dezidierter Codeblöcke Keine Locks Atomare Blöcke sind komponierbar Zitat: Ich habe noch nie Code geschrieben der (a) so nebenläufig war und (b) weniger Fehler wegen Nebenläufigkeit enthielt. 9

10 Erfolg mit STM Möglichst kurze Transaktionen do x <- atomically $ do y1 <- readtvar v1 Control.Exception.evaluate x y2 <- readtvar v2 let y1 = expensivecomputation y1 y2 writetvar v1 y1 return y1 Aufteilung des Zustands in TVars Zu grob: hohes Konfliktpotential Zu fein: unbequem, Inkonsistenzen möglich Überwachung wie oft eine Transaktion wiederholt wird 10

11 Frage: Mit welchen Problemen kämpfen wir? Welche Verbesserungen wären gut? Lazyness Laufzeit-Monitoring Bibliotheken, cabal-install Hohe Einstiegshürde 11

12 Lazyness Schwierige Balance zwischen lazy und strikt Striktheitsgrad für das Typsystem unsichtbar Striktheitsfragen sind low-level / operationell Ketzerische Fragen: wäre eine strikte Sprache mit Lazyness-Annotation nicht besser? 12

13 Laufzeit Monitoring Was macht der Server gerade? Warum verursacht eine STM Transaktion so viele Retries? Welche Threads laufen gerade? Welche Konstruktoren werden gerade alloziert?... 13

14 I have a dream Monitoring für Java GHC Profiler offline funktioniert nicht mit mehren Cores hohe Performanzverluste 14

15 Bibliotheken, cabal-install Viele Bibliotheken auf Hackage ungeeignet Nicht skalierbar, nicht performant, nicht korrekt Erfahrung nötig welche Bibliotheken geeignet Schreibe Bibliotheken selbst Problematisch für cabal-install: mehrere Version desselben Pakets Ausweg: eigenes hackage Repository Idee: stabile Teilmenge von hackage 15

16 Einstiegshürde Wenige Programmierer können Haskell Schritt vom Gelegenheitsprogrammierer zum professionellen Haskell Programmierer ist sehr groß Andere Sprache (wie z.b. Scala) bieten einen schrittweisen Einstieg 16

17 Frage: Was haben wir gelernt? Viele positive Erfahrungen mit Haskell Wichtigste negative Erfahrungen: Hohe Einstiegshürde Unzureichendes Runtime Monitoring 17

18 Erfahrungen mit Scala Scala Teilprojekte im Rahmen von Checkpad MED: DICOM Zugriff HL7 Zugriff Webapplikation zur Projektzeiterfassung Portierung der Haskell Bibliothek roundtrip nach Scala 18

19 Vergleich mit Scala Haskell Scala Ausdruckskraft + + Statisches Typsystem + + Kontrollierte Seiteneffekte + - STM +? Testbarkeit + + Automatische Korrektheit ++ + Community +? Lazyness? + Monitoring - + Bibliotheken + ++ Einstieg - + Achtung! Subjektiver Vergleich! 19

20 Resourcen Im Web: Hackage: GHC Profiler: users_guide/profiling.html Roundtrip, Bibliothek zum bidirektionalen Serialisieren/Deserialisieren: HTF, Bibliothek zur Organisation von Unit Tests und QuickCheck Eigentschaften: STM in Haskell: Tim Harris, Simon Marlow, Simon Peyton-Jones, and Maurice Herlihy. Composable memory transactions. In Proceedings of the 10th ACM SIGPLAN symposium on Principles and practice of parallel programming, PPoPP 05, pages 48 60, New York, NY, USA, ACM. STM in Scala: David Pollack über Scala und Java (und fortgeschrittene Programmiersprachen im allgemeinen): 20