09/2017

Haskell-Framework fürs Web Programmieren Exot im Boot Yesod

84 Das Yesod-Framework setzt neben den gängigen Webtechnologien wie HTML, Javascript und CSS auf einen

Haskell-Compiler. Dieser optimiert aggressiv und überprüft jede Funktion auf ihre Korrektheit. Angela Minosi www.linux-magazin.de

nenten für schnelle Erfolge sorgt und die immer noch steile Lernkurve ein wenig abflacht. Der Artikel hilft bei den ersten Schritten mit Yesod.

Installation

Für die Installation des Framework steht Stack [7] bereit, mit dem der Entwickler darüber hinaus ein Softwareprojekt ein- richtet. Der Vorgang unterscheidet sich von Betriebssystem zu Betriebssystem, der Artikel beschreibt ihn für Fedora 25, das zunächst einige Pakete benötigt, um Stack einsatzfähig zu machen. Um sie zu holen, bindet der Entwickler mit »dnf« (Listing 1) das inoffizielle Repository un-

© Pablo Hidalgo, 123RF Hidalgo, © Pablo ter [8] ein. Um ein neues Yesod-Projekt zu starten, genügt es, den Haskell-Compiler lokal zu Frameworks fürs Web existieren wie nur seine geringere Verbreitung, son- installieren: Sand am Meer, die meisten basieren dern auch die in den Compiler einge- cd auf den Programmiersprachen PHP und baute Sicherheit (Haskell ist typsicher) stack setup Javascript, andere verwenden Python, machen Angriffe teuer bis unmöglich Ruby, Go oder dergleichen. Greift ein und SQL- und Javascript-Injections un- Nach der Installation wartet der Haskell- Entwickler zu Wordpress [1], Drupal wahrscheinlich. Zudem verarbeitet der Compiler unter »~/.stack/programs/ [2] oder Joomla [3], muss er in der Haskell-Compiler GHC [6], der seit April x86_64‑linux/GHC‑Version/bin«. Zusätz- Regel lediglich den Kern auf dem Server 1990 in Version 1.0 existiert und auf dem liche Pakete, die ein Yesod-Projekt be- entpacken und weitere Module ergän- flotten C-Compiler basiert, Anfragen an nötigt, installiert bei Bedarf ein simples zen. Spielt er gewissenhaft und zeitnah die Webseite deutlich effizienter als viele »stack install Paketname« nach. Sicherheits-Aktualisierungen ein, kommt andere Programmiersprachen. Da Haskell auch die übliche Malware meist auf kei- zu den funktionalen Programmierspra- Homebanking nen grünen Zweig. chen gehört, machen sich auch an ande- Doch es gibt auch durchaus einige ren Stellen Erleichterungen bemerkbar, Ist diese erste Hürde genommen, beginnt Gründe, die für den Einsatz exotischer etwa beim Multithreading. die eigentliche Arbeit. Yesod unterstützt Frameworks wie des auf Haskell [4] Entwickler treibt aber vor allem die diverse bekannte Datenbanken, darunter basierenden Yesod [5] sprechen. Nicht Frage um: Wie klappt der Einstieg in Mongo DB, SQlite und – ansatzweise – das Framework? Denn Haskell gilt als Redis. Der Artikel beschreibt die Integ- Listing 1: Stack auf Fedora 25 schwer zu erlernen, orientiert sich stark ration von PostgreSQL [9] und MySQL

01 dnf install perl make automake gcc gmp‑devel libffi an der mathematischen Logik und ver- [10]. Der Entwickler erzeugt zunächst wendet viele abstrakte Konzepte wie Mo- ein neues Projekt, indem er den folgen- zlib zlib‑devel xz tar git gnupg dnf‑plugins‑core naden und Category Theory. Hier hilft ein den Befehl eingibt: 02 dnf copr enable petersen/stack Framework wie Yesod, das beim Umstieg 03 dnf install stack auf Haskell dank vorgefertigter Kompo- stack new Projektname yesod‑Datenbank 09/2017 Programmieren Die »Datenbank« ersetzt er durch einen sie im Projektordner, was die Datenbank tei »stack.yaml«. Dabei wählt das Tool gültigen Wert, den er etwa der Tabelle un- sofort einsatzfähig macht. automatisch den neuesten Snapshot des ter [11] entnimmt, also »yesod‑postgres« Haskell-Compilers. Das lässt sich über oder »yesod‑mysql«. den Eintrag neben »resolver:« ändern,

Erstkontakt Yesod Soll die Webanwendung die Daten in eine unter [13] sucht der Entwickler einen MySQL-Datenbank schaufeln, muss diese Die zum Kompilieren des Projekts benö- Snapshot aus. Alternativ gibt er die Ver- zuvor bereits im Hintergrund laufen. Das tigten Pakete schreibt Stack in die Da- sionsnummer eines systemweit installier- bewirken die Schritte aus Listing 2. An- 85 schließend wechselt der Entwickler in Listing 2: MySQL-Datenbank in Betrieb nehmen das von Stack erzeugte Projektverzeich- 01 mysql ‑u root ‑h localhost ‑p nis und bearbeitet die Datei »config/ 02 mysql> CREATE DATABASE mydb;

settings.yml«. Unterhalb der Überschrift www.linux-magazin.de 03 mysql> CREATE USER 'user'@'localhost' IDENTIFIED BY 'password'; »database:« passt er die Einträge für 04 mysql> GRANT ALL PRIVILEGES ON mydb.* TO 'user'@'hostname' IDENTIFIED BY 'password'; den Datenbankbenutzer, den Host und den Namen der Datenbank an, da der Haskell-Compiler das Projekt andernfalls Listing 3: PostgreSQL-Datenbank aufsetzen nicht übersetzt. 01 systemctl start Datenbank

Wer für sein Projekt eine PostgreSQL-Da- 02 psql ‑U postgres ‑c "CREATE EXTENSION adminpack;" tenbank nutzen möchte, startet über die 03 postgres=# CREATE USER 'user' WITH PASSWORD 'password'; Schritte aus Listing 3. Wer keine hohen 04 postgres=# CREATE DATABASE myproject; Ansprüche an die Datenbank stellt, greift 05 postgres=# GRANT ALL PRIVILEGES ON DATABASE myproject TO 'user'; am besten zu SQlite [12], das für nur 06 postgres=# \q einen Benutzer gedacht ist. Yesod erzeugt

Listing 4: »contact.hs«

01 ‑‑ in geschweiften Klammern stehen Quasi Quotes 35  ,contactEmail :: Text 02 {‑# LANGUAGE ViewPatterns #‑} 36  ,contactText :: Textarea 03 {‑# LANGUAGE MultiParamTypeClasses #‑} 37 } deriving Show 04 {‑# LANGUAGE OverloadedStrings #‑} 38 ‑‑ Funktion erzeugt ein Formular vom Typ MForm 05 {‑# LANGUAGE TypeFamilies #‑} 39 createForm :: Html ‑> MForm Handler (FormResult ContactForm, Widget) 06 {‑# LANGUAGE TemplateHaskell, QuasiQuotes #‑} 40 createForm extra = do 07 ‑‑ Bibliotheken importieren 41 ‑‑ mreq = required ‑> Pflichtfeld 08 import Yesod 42  (nameRes,nameView) <‑ mreq textField "Name" Nothing 09 import Data.Text 43  (emailRes,mailView) <‑ mreq emailField "Email" Nothing 10 import Control.Applicative 44  (textRes,textView) <‑ mreq textareaField "Text" Nothing 11 import Yesod.Form 45  let contactRes = ContactForm <$> nameRes <*> emailRes <*> textRes 12 ‑‑ setzt den Port des Webservers Warp auf 3000 46  widget = do 13 main :: IO () 47  toWidget 14 main = warp 3000 FormApp 48 ‑‑ Lucius‑Stylesheet einbinden 15 data FormApp = FormApp 49  [lucius| 16 instance Yesod FormApp 50  @bColor: mediumseagreen; 17 instance RenderMessage FormApp FormMessage where 51  ##{fvId nameView}, ##{fvId mailView}, 18  renderMessage _ _ = defaultFormMessage ##{fvId textView}{ 19 ‑‑ die Webanwendung "FormApp" bringt nur eine Route mit 52  border: 3px solid #{bColor}; 20 mkYesod "FormApp" [parseRoutes| 53  } 21 /contact ContactR GET |] 54  |] 22 ‑‑ eine Hilfsfunktion bindet das Formular widget in eine Webseite ein 55  [whamlet| 23 page enctype widget res = defaultLayout $ do 56  #{extra} 24 ‑‑ Titel der Webseite setzen 57 

Kontaktformular! 25  setTitle "Contact" 26  [whamlet| 58 

Name: ^{fvInput nameView} 27 

Ergebnis: #{show res} 59 

Email: ^{fvInput mailView} 28 

60 

Text: ^{fvInput textView} 29  ^{widget} 61  |] 30  Senden 62  return (contactRes,widget) 31  |] 63 getContactR :: Handler Html 32 ‑‑ Datentypen der HTML‑Eingabefelder 64 getContactR = do 33 data ContactForm = ContactForm { 65  ((res,widget), enctype) <‑ runFormGet $ createForm 34  contactName :: Text 66  page enctype widget res 09/2017 Programmieren Für den Schnelleinstieg in Yesod will der Entwickler gewöhnlich auch wissen, wel- che Informationen wohin gehören. Eine Übersicht der wichtigsten Dateien liefert Yesod Tabelle 1. Nun kann der Entwickler Dateien be- arbeiten. Ein individuelles Icon für die 86 URL-Leiste definiert er zum Beispiel, indem er die Datei »config/favicon.ico« durch eine gleichnamige Eigenkomposi- tion ersetzt. In der Datei »config/models«

www.linux-magazin.de wartet ein Datenbankschema, das er be- liebig anpasst. Die Änderungen wirken sich dabei auf das laufende System aus, Abbildung 1: Der Entwicklermodus bringt bereits einen integrierten Webserver mit. Die Webseite erreicht der sobald der Entwickler sie speichert – er Nutzer, indem er als URL [https://​­localhost:3000] in den Browser tippt. muss die Webanwendung dafür nicht neu starten. Das gilt auch für Änderungen an ten Haskell-Compilers an, will er diesen Der Code in Listing 4 fragt den Besu- anderen Dateien des Projekts. einspannen. cher der Seite nach seinem Namen und In der Datei »config/routes« legt er dann Hat er die Datei »stack.yaml« bearbeitet, seiner E-Mail-Adresse und fordert ihn die Routen fest, also die URLs, über die lädt der Entwickler mit »stack build« die dazu auf, eine Nachricht zu hinterlassen Nutzer die einzelnen Webseiten errei- geforderten Pakete herunter und instal- (Abbildung 2). Ruft er die Webseite auf, chen. Dabei darf er POST-, GET- und an- liert sie lokal. Anschließend startet er erzeugt die Funktion »getContactR« das dere Methoden pro Route in derselben das Projekt mit dem Befehl »stack exec Formular, ein Klick auf »Senden« gibt die Datei speichern. ‑‑ yesod devel« im Entwicklermodus. So- zuvor übermittelten Daten aus. Pro Route verlangt Yesod außerdem nach fern er am Domainnamen nichts geändert einem Handler. Der bestimmt, was ge- hat, ruft er die zugehörige Webseite im Yesods Ökosystem schieht, sobald ein User eine Route auf- Browser seiner Wahl über »http://local- ruft. Neue Handler erstellt der Entwickler host:3000« auf (Abbildung 1). Die folgenden Listings sind Ausschnitte am besten im Ordner »Handler«, wobei Für eine erste Demonstration genügt es, aus dem Projektordner, den Stack er- er beachten sollte, die Haskell-typische eine allein stehende Datei namens »con- zeugt, sobald der Entwickler »stack new Endung ».hs« zu verwenden. Nicht zu- tact.hs« anzulegen und sie mit dem Inhalt Meinprojekt« aufruft. Das Originalprojekt letzt bestimmt er in der Datei »config/ aus Listing 4 zu füllen. Das lehnt sich besteht im Wesentlichen aus den Seiten, settings.yml« unter dem Stichwort »AP- an ein Beispiel von Yesod-Erfinder Mi- die die Abbildungen 1, 4 und 5 zeigen. PROOT« den Namen der Domain, auf der chael Snoyman an [14] und erzeugt ein Dort gibt es ein Login sowie einen Link das Yesod-Framework läuft. einfaches Kontaktformular. Da es in nur auf Dokumente zu Yesod und die Mög- einer Datei steckt, erspart dies eine Pro- lichkeit, Dateien hochzuladen. Außerdem Tabelle 1: Ordner »Meinprojekt« im jektinitialisierung mit Stack. Die einfache beinhaltet die Startseite eine kurze Ein- Überblick Webanwendung ruft dann ein schlichter führung ins Framework. Ordner/​Dateiname Inhalt Stack-Befehl auf: Das Beispielprojekt überschreibt das »Application.hs« Anwendung initi- Log­in mit der Option, sich per Google alisieren, Handler stack runghc /Pfad/zu/contact.hs und Yahoo anzumelden (Abbildung 3), eintragen und setzt die maximale An- »Foundation.hs« Plugins konfigurieren zahl an hochladbaren Da- »Projektname.cabal« Erweiterungen, teien auf 1 (Abbildung 4). Pakete und Handler eintragen »stack.yaml« Pakete, GHC-Compiler »config/settings.yml« Globale Variablen »config/favicon.ico« Icon »config/models« Datenbankschema »config/routes« Routen »Handler/handler.hs« Handler »static/« CSS, Javascript, Bil- der, Fonts Abbildung 3: Dieses Anmeldefenster erscheint, wenn der Anwender auf »templates/« Vorlagen in Hamlet, Julius, Cassius oder Abbildung 2: Mit einer Seite Code lässt sich das Kontaktformular der Startseite des Projekts auf Lucius realisieren, dazu braucht es kein aufwändiges Projekt. »Login« klickt. 09/2017 Programmieren Wer HTML kennt, der einzelnen Selektoren Wert auf Klam- dürfte sich schnell mern legt und am Ende eines Statements in Hamlet einar- ein Semikolon verlangt, kommt Cassius beiten. Zusätzlich gänzlich ohne diesen Mehraufwand aus. Yesod erlaubt Hamlet Bei dieser Stylesheet-Sprache sollte der Wenn-dann-Abfra­ Entwickler allerdings die Definition eines gen und Fall­unter­ Selektors einrücken. scheidungen über Im Gegensatz zu CSS lassen sich unter 87 Case und Maybe Lucius oder Cassius Variablen definieren, Abbildung 4: Im Formularteil der leicht veränderten Webseite zeigt eine Variable sowie außerdem was Codezeilen einspart. Mit Hilfe von nun die Zahl der maximal hochladbaren Dateien an. Schleifen. Julius erstellt der Entwickler Javascript-

Daneben existie- Dateien, die ebenfalls auf Variablen www.linux-magazin.de In den Unterordner »static« gehören ren die beiden Stylesheet-Sprachen Cas- zugreifen, die im Projekt existieren. So Javascript-Dateien, Stylesheets, Schrift- sius und Lucius, mit denen der Entwick- verwendet er die Namen der Routen in arten und Bilder. Erwähnenswert ist in ler bei Bedarf die Einstellungen im glo- einer Julius-Datei. Bereits vorhandene diesem Zusammenhang, dass das Pro- balen Stylesheet überschreibt. Während CSS-Stylesheets oder Javascript-Dateien jekt das weit verbreitete CSS-Framework Lucius genauso wie CSS bei Definitionen bindet er statisch ein, ohne sie in ein Bootstrap [15] im Gepäck hat. Dabei ge- hören in den »static«-Ordner nur reine Listing 5: »Meinprojekt/Model/MySettings.hs«

CSS- oder Javascript-Dateien. Der Grund: 01 module Model.MySettings 09 ‑‑Datentyp MySettings Yesod besitzt eine eigene Template-Spra- 02  ( 10 data MySettings = MySettings che, die damit erstellten Dateien befin- 03  MySettings(..) den sich üblicherweise im »templates«- 11  { myMax :: Max } 04  , newSettings Verzeichnis. 12 ‑‑diese Funktion legt die maximale Anzahl an 05  )where Im Unterordner »Meinprojekt/test« war- hochladbaren Dateien fest 06 import [...] tet Beispielcode, mit dem Entwickler die 07 ‑‑ Typsynonym 13 newSettings num = do Webanwendung auf Herz und Nieren 08 type Max = Int 14  return MySettings { myMax = num } prüfen. Darüber hinaus existieren meh- rere erwähnenswerte Dateien im Haupt- ordner des Projekts. So initialisiert Yesod Listing 6: »Meinprojekt/Application.hs« globale Variablen oder Datentypen in der 01 [...] 08  let maxFiles = 5 Datei »Application.hs« (Listing 6), auf 02 import Model.MySettings 09  mysettings' <‑ newSettings maxFiles deren Werte der Handler (Listing 8) über 03 [...] die Funktion »getYesod« zugreift. 10  ‑‑Variable "myMax" global verfügbar machen 04 makeFoundation :: AppSettings ‑> IO App Soll beispielsweise ein Anwender der 11  let mkFoundation appConnPool = App 05 makeFoundation appSettings = do Webseite maximal fünf Bilder pro Ticket 06  [...] mysettings' hochladen dürfen, importiert der Ent- 07  ‑‑ maximale Anzahl an hochladbaren Dateien 12 [...] wickler hierzu eine eigene Datei (Listing 5), in der er einen Datentyp zusammen mit einer Funktion, die die Variable initi- Listing 7: »Meinprojekt/Foundation.hs« (Auszug 1) alisiert, festgelegt hat. 01 [...] 07  ‑‑ Unter Java könnte der Entwickler Anschließend deklariert er in der 02 import Model.MySettings MySettings mit einer Klasse vergleichen, »makeFoundation«-Funktion (Listing 6) 03 [...] eine lokale Variable, die die maximale 08  ‑‑ die die Variable myApp besitzt. Diese 04 ‑‑Name der Webanwendung = App Anzahl an hochladbaren Dateien enthält, ist vom Typ MySettings. 05 data App = App und übergibt diese Variable der impor- 06  ‑‑ In der App tauchen nur die Variablen des 09  {mySettings :: MySettings } tierten Funktion, welche die Variable in- Datentyps MySettings auf. 10 [...] itialisiert. Zusätzlich legt er fest, welche Datentypen zur Webanwendung namens App gehören (Listing 7). Listing 8: »Meinprojekt/Handler/Home.hs« (Auszug 1)

01 [...] 06 getHomeR = do Sein oder nicht sein 02 module Handler.Home where 07 [...] 03 [...] 08 ‑‑ mit getYesod auf globale Variablen zugreifen Für die Namen der Template-Sprache 04 ‑‑ Handler, der die Seite www.domainname 09  (App{mySettings=s}) <‑ getYesod muss Shakespeare herhalten. So heißt erstellt 10  let (M.MySettings {M.maxFiles=m }) = s die Sprache, mit der Yesod aus einer 05 getHomeR :: Handler Html 11 [...] Vorlage HTML-Dateien erzeugt: Hamlet. 09/2017 Programmieren HTML-Code in eine Hamlet-Datei, ein passendes Stylesheet sowie eine Julius- Datei einbinden, sollte der Entwickler darauf achten, dass die Namen dieser Yesod Dateien alle gleich lauten, zum Beispiel »homepage.hamlet«, »homepage.julius« und »homepage.lucius«. Auf diese Weise 88 muss er nur einmal eine Datei in den Handler integrieren und es genügt, im Handler auf »homepage« Bezug zu neh- men (Listing 10). Yesod lädt die Vorlagen

www.linux-magazin.de dann automatisch.

Sicherheit gewährleisten

Abbildung 5: Im letzten Teil der Startseite hinterlassen Anwender entweder einen Kommentar oder informie- Soll ein Anwender den Webmaster über ren sich über das Testen von Software unter Yesod. ein Kontaktformular kontaktieren, er- zeugt der Entwickler unter Yesod die anderes Format übertragen zu müssen. Bei neuen Dateien empfiehlt es sich hin- nötigen Formulare, ohne etliche Zeilen In Listing 9 lädt Yesod das Stylesheet­ gegen, die Template-Sprachen zu ver- an Code zu schreiben. Zwei unterschied- »static/css/styling.css«, sobald der User wenden. Soll zum Beispiel der Handler, liche Methoden versprechen das gleiche eine beliebige Route aufruft. der die Homepage realisiert, zusätzlich Ergebnis. Wer einfach loslegen will, für den eignen sich Formulare vom Typ A- Listing 9: »Meinprojekt/Foundation.hs« (Auszug 2) Form. Für sie braucht der Entwickler

01 [...] keine zusätzliche Hamlet-Datei, sondern

02 ‑‑ definiert das Standardlayout, das für jede Seite einer bestimmten Domain gilt es genügt, wenn er wie in der Funktion Listing 11 03 pc <‑ widgetToPageContent $ do »contactAForm« ( ) angibt, aus welchen HTML-Feldern das Formular be- 04  addStylesheet $ StaticR css_styling_css stehen soll. 05 ‑‑ die Vorlage des Standardlayouts steht in der Datei "default‑layout.hamlet" Daneben existieren die weiter oben er- 06  $(widgetFile "default‑layout") wähnten monadischen Formulare vom 07  withUrlRenderer $(hamletFile "templates/default‑layout‑wrapper.hamlet") Typ M-Form, deren Aussehen der Ent- 08 [...] wickler selbst bestimmen darf (Abbil- dung 2.) Allerdings muss er dafür die zu- Listing 10: »Meinprojekt/Handler/Home.hs« (Auszug 2) vor definierten HTML-Eingabe-Elemente

01 [...] in den Hamlet-Abschnitt einfügen. In die

02 module Handler.Home where Hamlet-Dateien trägt er außerdem Klas-

03 [...] sen oder IDs ein, die er zuvor in Lucius oder Cassius definiert hat (vergleiche 04 ‑‑ Handler, der die Homepage einer Domain erzeugt dazu Listing 4). 05 ‑‑ In der Datei homepage.hamlet befindet sich die Vorlage zur Homepage Die Sicherheit gewährleistet Yesod mit 06 getHomeR :: Handler Html Hilfe von Sicherheits-Token, die es in 07 getHomeR = defaultLayout $(widgetFile "homepage") einem versteckten HTML-Eingabefeld 08 [...] speichert. Diese Token verhindern so

Listing 11: »contact‑v2.hs«

01 [...] 12  <*> areq textField "Email" (Just "[email protected]")

02 data ContactForm = ContactForm { 13  <*> areq textareaField "Text" Nothing

03  contactName :: Text 14  04  ,contactEmail :: Text 15 contactForm :: Html ‑> MForm Handler (FormResult ContactForm, Widget) 05  ,contactText :: Textarea 16 contactForm = renderBootstrap2 contactAForm 06 } deriving Show 17  07  18 getContactR = do 08 ‑‑ erzeugt ein Formular vom Typ A‑Form 09 contactAForm :: AForm Handler ContactForm 19  (widget, enctype) <‑ generateFormPost $ contactForm 10 contactAForm = ContactForm 20  page enctype widget 11  <$> areq textField "Name" Nothing 21 [...] 09/2017 Programmieren Daten nach Javascript- in Cookies bereitzustellen. Das stellt ei- Befehlen wie zum nerseits sicher, dass der User nicht mit Beispiel »« un- die Signatur MITM-Angriffe. Yesod tersucht und diese Der Entwickler legt fest, wie lange ein entschärft. So ersetzt Cookie gültig ist. Um die Cookies zu nut- Yesod etwa ein »<« zen, trägt er in der Datei »Foundation.hs« durch ein »<«. Nach ein, wo auf dem Server Yesod das Coo- 89 diesem Prinzip schützt kie ablegt. Listing 12 zeigt ein solches Yesod die Datenbank Session-Cookie. Firefox akzeptiert solche auch vor SQL-Injec- Cookies sogar im privaten Modus (Ab- [16] bildung 6 tions . ), sodass der Entwickler nicht www.linux-magazin.de Der Haskell-Compiler prüft beim Übersetzen Listing 12: »Meinprojekt/Founda­ den Typ der Funktion, tion.hs« (Auszug 3)

was Typverletzungen 01 [...]

bereits im Vorfeld 02 instance Yesod App where verhindert. Darüber 03  makeSessionBackend _ = Just <$> hinaus checkt er die defaultClientSessionBackend Abbildung 6: Firefox zeigt den verschlüsselten Inhalt eines Cookie an. Nor- Vorlagen, die der Ent- 04  ‑‑ timeout in Minuten malerweise sind die von Yesod erzeugten Cookies zwei Stunden lang gültig. wickler mit einer Vor- 05  120 lagensprache aus der 06  "Pfad/zum/Cookie.aes" genannte Cross-Site-Request-Forgery- Shakespeare-Familie erschaffen hat, auf Angriffe. Der Entwickler braucht bei Syntaxfehler. Somit kommt es während Formularen vom Typ M-Form nur die des Betriebs nicht zu Überraschungen. Listing 13: »Meinprojekt/ Variable »#{extra}« im Hamlet-Abschnitt Googleemail.hs« einzutragen. Bei Formularen vom Typ A- Kekse 01 module Googleemail where Form fügt Yesod hingegen die Extravari- 02 import Data.Text able automatisch hinzu. Zwar handelt es sich bei Yesod um eine 03  Restful-Application, aber mitunter muss 04 clientId :: Text das Framework beim Interagieren mit Schlauer Compiler 05 clientId = "myid" Clients auch Sitzungsdaten speichern, 06  Kommen die Anwendereingaben beim etwa beim Einsatz von Einkaufswagen. 07 clientSecret :: Text Server an, überprüft Yesod diese auf Das Paket »clientsession« nutzt Ver- 08 clientSecret = "mysecret" Javascript-Injections hin, indem es die schlüsselung und Signaturen, um Daten 09/2017 Programmieren darauf zu verzichten braucht. Cookies Ein weiteres Beispiel für Modularität un- Doch während es für Bezahlsysteme wie verstecken zudem sensible Daten, welche ter Yesod sind Haskell-Programme oder Paypal etliche Anleitungen für die Pro- die URL betreffen. Haskell-Module. So lässt sich ein in Has- grammiersprachen Java und PHP gibt, kell geschriebenes Spiel in ein Yesod-Pro- sind hilfreiche Hinweise für Yesod bezie- Yesod Code recyceln jekt importieren, auf das der Anwender hungsweise Haskell rar gesät. Eine Erwei- über den Browser zugreift. terungsvielfalt, wie sie etwa Drupal und Modularität bezeichnet unter anderem Wordpress mit einer fünfstelligen Zahl an 90 die Wiederverwendbarkeit von Code in Authentifizierung Plugins bieten, sucht der Yesod-Nutzer anderen Projekten. Das lässt sich unter erforderlich vergeblich. Yesod mit Hilfe von Unterseiten, den so Zudem stellt die Haskell-Basis trotz zahl- genannten Subsites, umsetzen. Diese Um die Benutzerkonten der Anwender zu reicher Erleichterungen auch das Durch-

www.linux-magazin.de Subsites sind selbst eigenständige Pro- schützen, stellt Yesod Bibliotheken zur haltevermögen des Entwicklers auf die gramme, zum Beispiel eine Chat-Anwen- Verfügung, mit denen der Entwickler die Probe. Er kann beispielsweise Fehlermel- dung, die in mehreren Softwareprojek- Anmeldung umsetzt. Dazu gehört die Bi- dungen des Compilers nicht immer leicht ten vorkommen. Der Entwickler braucht bliothek Yesod.Auth.OpenId [17], die es entziffern. Dennoch: Unter den Haskell- dazu nur den Ordner mit der Subsite ins Anwendern ermöglicht, sich über ein be- basierten Web-Frameworks gehört Yesod neue Projekt zu kopieren. stehendes Google-Plus- oder Yahoo-Konto zu den fortgeschrittensten. Zur Umsetzung von Subsites sei erwähnt, auf der Webseite einzuloggen, ohne dass Dazu tragen vor allem die eigenen dass zwar einige Beispiele in dem Buch der Webmaster die Passwörter verwalten Template-Sprachen­ sowie zahlreiche Bi- von Michael Snoyman existieren, aber im muss. Um diese Authentifizierung zu im- bliotheken bei. Zudem bietet Yesod neu- Web wenig Brauchbares vorhanden ist. plementieren, muss die Foundation-Datei gierigen Entwicklern neben den anfangs Entwickler müssten sich demnach vieles die oben genannte Bibliothek importie- erwähnten Vorteilen einen Anreiz, am selbst beibringen oder aus verschiedenen ren. Der Entwickler aktiviert das Plugin praktischen Beispiel in die Haskell-Welt Quellen zusammensuchen. und gibt zudem an, welche Routen keine einzutauchen. (kki) n Authentifizierung oder Anmeldung brau- Listing 14: »Meinprojekt/Founda­ chen (Listing 15). tion.hs« (Auszug 4) Mitunter gilt es, auch in der Projektda- Infos

01 [...] tei »Projektname.cabal« Bibliotheken [1] Wordpress: [https://​­wordpress.​­com] 02 import Yesod.Auth.OpenId einzutragen, damit Yesod das Projekt [2] Drupal: [https://​­www.​­drupal.​­org] 03 import Yesod.Auth.GoogleEmail2 erfolgreich übersetzt. Darauf weist das [3] Joomla: [https://​­www.​­joomla.​­org/​­3/​­de/] 04 import Googleemail Framework den Entwickler beim Kompi- [4] Haskell: [https://​­www.​­haskell.​­org] 05 [...] lieren des Projekts noch einmal hin. [5] Yesod: [https://​­www.​­yesodweb.​­com] 06 instance YesodAuth App where Indem er den Login-Handler in der Foun- [6] GHC: [https://​­www.​­haskell.​­org/​­ghc/] 07  authPlugins m = dation-Datei überschreibt (Listing 15), [7] Stack: [https://​­www.​­haskellstack.​­org] 08  [ authGoogleEmail gestaltet der Entwickler die Anmeldeseite [8] Stack-Repository: [https://​­copr.​fedorain- clientId clientSecret ] nach seinen Wünschen. In Yesod genügt fracloud.​­org/​­coprs/​­petersen/​­stack/] 09  einfacher HTML-Code, um den Login- [9] PostgreSQL: [https://​­www.​­postgresql.​­org] 10  [...] Handler umsetzen. [10] MySQL: [https://​­www.​­mysql.​­com/​­de] 11  ‑‑ Standardwert: Authorized [11] Unterstützte Datenbanken: 12  isAuthorized _ _ = return Authorized [https://​­hackage.​­haskell.​­org/​­package/​ 13  [...] Fazit ­persistent‑odbc‑0.​­2.​­0.​­1/​­docs/​ Die Performance von Haskell, auf das Ye- ­Database‑Persist‑ODBC.​­html] Listing 15: »Meinprojekt/Founda­ sod ja setzt, ist gut genug, um das Herz- [12] SQlite: [https://​­www.​­sqlite.​­org] tion.hs« (Auszug 5) stück des Sigma-Systems von Facebook [13] Stack-Snapshots:

01 [...] zu bilden. Facebook verwendet Haskell [https://​­www.​­stackage.​­org/​­snapshots] 02 instance YesodAuth App where unter anderem zur Spam-Abwehr, das [14] Michael Snoyman, „Developing Web Appli- 03  loginHandler = defaultLayout $ do dort eingesetzte Produktionssystem ver- cations with Haskell and Yesod“: O’Reilly, 04  [whamlet| arbeitet rund eine Million Anfragen pro [https://​­www.​­yesodweb.​­com/​­book] 05  Zumindest nach projekteigener Messung [16] Über Yesod: 06  sod zu den schnellsten Webframeworks. [18] Haskell bei Facebook: [https://​­www.​ 07 

Zusätzlich bietet es alles, um auch grö- ­youtube.​­com/​­watch?v=mlTO510zO78]​­ 08  Login via Google ßer angelegte Projekte anzugehen, un- [19] Benchmark-Test: [http://​­www.​­yesodweb.​ 09  |] terstützt es doch zum Beispiel eine Reihe ­com/​­blog/​­2011/​­03/​­preliminary‑​warp‑ 10  [...] bekannter Datenbanken. cross‑language‑benchmarks]