FFP 12 import

1 files changed, 188 insertions, 0 deletions

diff --git a/ws2015/ffp/blaetter/12/FFP_U12_Persist.hs b/ws2015/ffp/blaetter/12/FFP_U12_Persist.hs
new file mode 100644
index 0000000..c087fae
--- /dev/null
+++ b/ws2015/ffp/blaetter/12/FFP_U12_Persist.hs
@@ -0,0 +1,188 @@
+-- Fortgeschrittene Funktionale Programmierung,
+--   LMU, TCS, Wintersemester 2015/16
+--   Steffen Jost, Alexander Isenko
+--
+-- Übungsblatt 12. 20.01.2016
+--
+-- Thema: Database.Persist & Yesod.Persist
+--
+-- Anweisung: 
+--   Bearbeiten Sie ggf. zuerst noch A11-3 und A11-4,
+--   falls Sie diese noch nicht bearbeitet haben!
+-- 
+--   Gehen Sie diese Datei durch und bearbeiten Sie 
+--   alle Vorkommen von undefined bzw. die mit -- !!! TODO !!!
+--   markierten Stellen. Testen Sie Ihre Lösungen mit GHCi!
+--
+
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE ViewPatterns #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE EmptyDataDecls #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE OverloadedStrings     #-}
+{-# LANGUAGE TypeFamilies          #-}
+{-# LANGUAGE TemplateHaskell, QuasiQuotes #-}
+
+
+import qualified Data.Text as T
+import Data.Time.Clock    (getCurrentTime)
+import Database.Persist
+import Database.Persist.Sqlite
+import Database.Persist.TH
+import System.Environment (getArgs)
+
+import Control.Applicative
+import Control.Monad
+import Control.Monad.IO.Class
+
+-- Nur für A11-2 benötigt:
+import Language.Haskell.TH
+
+
+-- A11-1
+--
+-- Erstellen Sie mit Database.Persist ein simples Kommandozeilen-Tool
+-- zum Zugriff auf eine Datenbank zur Verwaltung von Hausaufgaben.
+-- Es soll immer auf die Datenbank im gleichen Verzeichnis zugegriffen werden.
+--
+-- Es gibt 3 Mögliche Verwendungsarten des Tools:
+--
+-- 1) > tool <name> <matrikel> <nr> <abgabe>
+--
+--    Legt eine Abgabe <abgabe> für Übung <nr>
+--    von Student <name> mit Matrikelnummer <matrikel>
+--    in der Datenbank ab.
+--    Ist der Student unbekannt, so wird er angelegt.
+--    Die Kombination aus Name und Matrikelnummer muss einzigartig sein.
+--
+-- 2) > tool <nr>
+--
+--    Zeigt alle Abgaben zur Übung <nr> auf dem Bildschrim an.
+--    Zu jeder Abgabe wird auch der abgebende Student aufgeführt.
+--
+-- 3) > tool <name>
+--
+--    Zeigt alle Studenten mit diesem Namen an,
+--    so wie jeweils die Anzahl der im System gespeicherten Abgaben
+--    zu allen Übungen.
+--
+-- Ein Demo folgt weiter unten.
+
+
+sqliteDB = "demo.sqlite"
+
+main :: IO ()
+main = do
+    putStrLn "Hallo zu HuniworX!"
+    args <- getArgs
+    -- !!! TODO !!!
+    return ()
+
+
+hilfstext :: IO ()
+hilfstext = do
+  putStrLn "Optionen sind:"
+  putStrLn " 1) Studentenname"
+  putStrLn " 2) Übungsnummer"
+  putStrLn " 3) Studentenname, Matrikel, Übungsnr, Abgabe"
+  putStrLn "Optionen 1 & 2 sind Abfragen; 3 ist Eingabe"
+
+maybeRead :: Read a => String -> Maybe a
+maybeRead (reads -> [(x,"")]) = Just x
+maybeRead _ = Nothing
+
+maybeToInt :: String -> Maybe Int
+maybeToInt = maybeRead
+
+
+{- DEMO:
+
+> ./FFP_U11_Persist Steffen 1234 1 "Etwas gemacht"
+Hallo zu HuniworX!
+Migrating: CREATE TABLE "student"("id" INTEGER PRIMARY KEY,"name" VARCHAR NOT NULL,"matrikel" INTEGER NOT NULL,CONSTRAINT "unique_student" UNIQUE ("name","matrikel"))
+Migrating: CREATE TABLE "abgabe"("id" INTEGER PRIMARY KEY,"ersteller_id" INTEGER NOT NULL REFERENCES "student","ubung" INTEGER NOT NULL,"abgabe" VARCHAR NOT NULL)
+Abgabe von Steffen für Übung 1 angenommen.
+> ./FFP_U11_Persist Steffen 6666 1 "Nix gemacht"
+Hallo zu HuniworX!
+Abgabe von Steffen für Übung 1 angenommen.
+> ./FFP_U11_Persist Steffen 6666 2 "Fast nix gemacht"
+Hallo zu HuniworX!
+Abgabe von Steffen für Übung 2 angenommen.
+> ./FFP_U11_Persist Steffen 1234 2 "Schön gemacht."
+Hallo zu HuniworX!
+Abgabe von Steffen für Übung 2 angenommen.
+> ./FFP_U11_Persist Hilde 9999 2 "Vorbildlich gemacht."
+Hallo zu HuniworX!
+Abgabe von Hilde für Übung 2 angenommen.
+> ./FFP_U11_Persist Steffen 1234 3 "Gut gemacht."
+Hallo zu HuniworX!
+Abgabe von Steffen für Übung 3 angenommen.
+> ./FFP_U11_Persist Steffen
+Hallo zu HuniworX!
+Steffen 1234 Abgaben: 3
+Steffen 6666 Abgaben: 2
+> ./FFP_U11_Persist 2
+Hallo zu HuniworX!
+----
+Steffen 6666 für Übung 2
+    Fast nix gemacht
+----
+Steffen 1234 für Übung 2
+    Schön gemacht.
+----
+Hilde 9999 für Übung 2
+    Vorbildlich gemacht.
+> ./FFP_U11_Persist 1
+Hallo zu HuniworX!
+----
+Steffen 1234 für Übung 1
+    Etwas gemacht
+----
+Steffen 6666 für Übung 1
+    Nix gemacht
+> ./FFP_U11_Persist Fuu 1
+Hallo zu HuniworX!
+Optionen sind:
+ 1) Studentenname
+ 2) Übungsnummer
+ 3) Studentenname, Matrikel, Übungsnr, Abgabe
+Optionen 1 & 2 sind Abfragen; 3 ist Eingabe
+>
+-}
+
+
+
+
+-- A11-2 TemplateHaskell
+--
+-- Hier ist etwas zum Knobeln oder Ausprobieren!
+-- Was machen die folgenden TemplateHaskell Funktionen?
+-- (zum Ausführen in ghci die Option -XTemplateHaskell nicht vergessen)
+--
+
+-- a)
+foobar :: Int -> Int -> ExpQ
+foobar n i = lamE [pat] rhs
+  where pat = tupP (map varP xs)
+        rhs = varE (xs !! (i - 1))
+        xs  = [ mkName $ "x" ++ show j | j <- [1..n] ]
+
+
+-- b)
+barfoo :: Int -> ExpQ
+barfoo n = do
+    ns <- replicateM n (newName "x")
+    lamE [foldr (\x y -> conP '(:) [varP x,y]) wildP ns] (tupE $ map varE ns)
+
+
+-- c)
+fuubaz:: Int -> Int -> ExpQ
+fuubaz n m = do
+  let f       = mkName "f"
+  let v i j   = mkName $ "x" ++ (show i) ++ (show j)
+  let tupleps = [tupP [varP (v i j) | j <- [1..n]] | i <- [1..m] ]
+  let args    = [(foldl appE (varE f) [varE $ v i j | i <- [1..m]]) | j <- [1..n]]
+  lamE ((varP f):tupleps) (tupE args)
+