Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis

Transkript

1 Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis Stefan Wehr factis research GmbH, Freiburg im Breisgau 17. Juli 2013 Developer MeetUp Freiburg Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 1 / 20

2 Wer bin ich? Was machen wir? factis research GmbH, Freiburg im Breisgau Vier feste, etwas sechs freie Mitarbeiter Softwareprodukte für den Medizin- und Pflegebereich Komplexe mobile Anwendungen Serverseitige Software fast ausschließlich in funktionalen Sprachen geschrieben Projekte und Schulungen im Bereich funktionale Programmierung und mobile Anwendungen Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 2 / 20

3 Checkpad MED Elektronische Patientenakte auf dem ipad Bringt alle Patientendaten zusammen Unterstützt Krankenhausärzte bei Arbeitsabläufen Unabhängig vom KIS (Krankenhausinformationssystem) Demo Lines of Code: Zeilen Haskell Zeilen Scala Zeilen Objective-C Entwicklung seit 2010 Heute: erster zahlender Kunde, Pilotbetrieb in mehreren Krankenhäusern Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 3 / 20

4 Architektur von Checkpad Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 4 / 20

5 Was ist funktionale Programmierung? Der nächste Hype? Akademischer Blödsinn? Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 5 / 20

6 Was ist funktionale Programmierung? Der nächste Hype? Akademischer Blödsinn? Die Wahrheit liegt irgendwo in der Mitte! Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 5 / 20

7 Was also ist funktionale Programmierung? Kontrolle über Seiteneffekte Unveränderliche Datenstrukturen APIs sind oft zustandslos Seiteneffekte durch Typen kontrolliert Einfaches Abstrahieren Funktionen als Werte Eigene Kontrollstrukturen Einfache Datenmodellierung Records Fallunterscheidung Oftmals: Typprüfung beim Kompilieren Vermeidet Fehler ohne das Programm auszuführen Typen werden oft automatisch inferiert Viele Invarianten als Typen kodierbar Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 6 / 20

8 Warum funktionale Programmierung? Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 7 / 20

9 Kann ich mal ein paar Beispiele sehen? Kontrolle über Seiteneffekte insert :: Ord k => k -> a -> Map k a -> Map k a Abstraktionsmöglichkeiten -- Eine *Bibliotheks*funktion withfile :: FilePath -> IOMode -> (Handle -> IO a) -> IO a -- Verwendung withfile "foo.txt" WriteMode $ \handle -> hputstrln handle "Hello World!" Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 8 / 20

10 Mehr Beispiele Einfache Datenmodellierung data Person = Person { name :: String, contactinfo :: Maybe ContactInfo } deriving (Show, Eq) data ContactInfo = PhoneNumber String Address String deriving (Show, Eq) Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 9 / 20

11 Und noch mehr Beispiele Typen displayperson :: Person -> String displayperson person = name person ++ (case contactinfo person of Just (PhoneNumber phone) -> ", phone: " ++ phone Just ( Address adrr) -> ", " ++ addr Nothing -> "no contact info") Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 10 / 20

12 Was machen wir mit funktionaler Programmierung? XML-Verarbeitung Datenbankzugriffe Webprogrammierung Serialisierung (binär, JSON, Google Protocol Buffers) Buildsystem Netzwerkserver... Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 11 / 20

13 Beispiel: Webprogrammierung mit Haskell Mapping zwischen Datentyp und Datenbanktabelle $(share [mkpersist sqlsettings, mkmigrate "migrateall"] [persistuppercase NewsItem title T.Text content T.Text tags [T.Text] author T.Text deriving Show Eq ] ) Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 12 / 20

14 Beispiel: Webprogrammierung mit Haskell JSON Serialisierung/Deserialisierung instance ToJSON (Entity NewsItem) where tojson (Entity nid (NewsItem title content tags author)) object ["id".= nid, "title".= title,"content".= content, "tags".= tags,"author".= author] instance FromJSON NewsItem where parsejson (Object v) = do title <- v.: "title" content <- v.: "content" tags <- v.: "tags" author <- v.: "author" return $ NewsItem title content tags author parsejson _ = mzero Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 13 / 20

15 Beispiel: Webprogrammierung mit Haskell JSON vs. Haskell-Datentype { } "title": "Hallo Blog", "content": "Das hier ist mein erster Beitrag", "author": "Stefan Wehr", "tags": ["blog", "haskell", "toll"] NewsItem { title = "Hallo Blog", content = "Das hier ist mein erster Beitrag", author = "Stefan Wehr" tags = ["blog", "haskell", "toll"] } Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 14 / 20

16 Beispiel: Webprogrammierung mit Haskell scotty port $ do definestatic "/" "static/index.html" CtHtml definestatic "/jquery.min.js" "static/jquery.min.js" CtJavaScript get "/news" $ do response <- rundb query json response where query = SQL.selectList [] [SQL.Desc NewsItemId] Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 15 / 20

17 Wer arbeitet mit funktionalen Programmiersprachen? Twitter: Large-scale Internet Services in Scala Microsoft: F# Banken wie Standard Chartered, Credit Suisse, Deutsche Bank Ericsson: Erlang Intel Facebook Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 16 / 20

18 Beispiele für funktionale Sprachen Haskell Scala Clojure Erlang Mächtiges Typsystem JVM-basiert statisch getypt JVM-basiert dynamisch getypt für hochverfügbare Telekommunikationssysteme Scheme, Lisp OCaml F#.NET Sprache Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 17 / 20

19 Funktionale Programmierung in nicht-funktionalen Sprachen Unveränderliche Datentypen Bewusster Umgang mit Seiteneffekten Funktionen als Werte, anonyme Funktionen Java 8 C# Objective-C C++ Python Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 18 / 20

20 Resourcen School of Haskell: Learn You a Haskell for Great Good, Miran Lipovača, No Starch Press, Real World Haskell, Bryan O Sullivan, Don Stewart und John Goerzen, O Reilly Functional Programming Principles in Scala, Martin Odersky: Vortrag von Tim Sweeney, Epic Games: In a concurrent world, imperative is the wrong default! /advanced-fp/docs/sweeny.pdf Blog über Funktionale Programmierung: Folien zum Vortrag: resources/wehr_fr pdf Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 19 / 20

21 Fazit & Zusammenfassung Mit funktionaler Programmierung wird kommerzielle Software entwickelt! Funktionale Programmierung punktet auch in der Industrie: Hohe Produktivität Korrektheit Sicherheit Hohe Wiederverwendbarkeit Wichtigste Erkenntnis beim Arbeiten mit funktionalen Sprachen: Seiteneffekte nur kontrolliert einsetzen Funktionale Programmierung bringt s! Ein Ausflug mit Haskell in die Praxis 20 / 20