Funktionale Programmierung - Haskell: Lazy IO - Otto-von
Werbung
Lazy I/O in Haskell Funktionale Programmierung Haskell: Lazy IO D. Rösner Institut für Wissens- und Sprachverarbeitung Fakultät für Informatik Otto-von-Guericke Universität Magdeburg c Sommer 2013, 16. Mai 2013, 2011-13 D.Rösner D. Rösner FP 2013 . . . Lazy I/O in Haskell Gliederung 1 Lazy I/O in Haskell hGetContents readFile und writeFile interact D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: Haskell ist ’lazy’ Daten werden nur ausgewertet, wenn der Wert tatsächlich benötigt wird das gilt auch für I/O Beispiel: Funktion hGetContents Typ: hGetContents :: Handle -> IO String relevante Literatur: s. u.a. [OGS09], Ch. 7, [Tho11], [Tho99], Ch. 18 D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: cont. hGetContents :: Handle -> IO String der von hGetContents zurückgegebene String wird ’lazy’ berechnet beim Aufruf von hGetContents wird zunächst garnichts gelesen erst dann wird vom Handle gelesen, wenn Elemente der Liste (also: Zeichen) verarbeitet werden ... [OGS09], Ch. 7 D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: cont. hGetContents :: Handle -> IO String ... sofort, wenn Elemente nicht mehr benötigt werden, gibt der Garbage collector von Haskell den zugehörigen Speicher frei der Benutzer muß sich nicht darum kümmern für ihn geschieht alles völlig transprarent es steht der Inhalt der Datei als reiner String zur Verfügung, der mit reinem Code verarbeitet werden kann [OGS09], Ch. 7 D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: cont. -- file: ch07/toupper-lazy1.hs import System.IO import Data.Char(toUpper) main :: IO () main = do inh <- openFile "input.txt" ReadMode outh <- openFile "output.txt" WriteMode inpStr <- hGetContents inh let result = processData inpStr hPutStr outh result hClose inh hClose outh processData :: String -> String processData = map toUpper [OGS09], Ch. 7 D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: cont. -- file: ch07/toupper-lazy2.hs import System.IO import Data.Char(toUpper) main = do inh <- openFile "input.txt" ReadMode outh <- openFile "output.txt" WriteMode inpStr <- hGetContents inh hPutStr outh (map toUpper inpStr) hClose inh hClose outh [OGS09], Ch. 7 D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: cont. da sehr oft Dateien gelesen, ihr Inhalt verarbeitet und das Ergebnis wieder in eine Datei geschrieben wird, gibt es mit readFile und writeFile zwei Funktionen zum komfortablen Arbeiten mit Dateien als Strings die Typen: ghci> :type readFile readFile :: FilePath -> IO String ghci> :type writeFile writeFile :: FilePath -> String -> IO () [OGS09], Ch. 7 D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: cont. -- file: ch07/toupper-lazy3.hs import Data.Char(toUpper) main = do inpStr <- readFile "input.txt" writeFile "output.txt" (map toUpper inpStr) readFile verwendet hGetContents intern [OGS09], Ch. 7 D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: cont. für die gängige Situation des Lesens von Standard-Input, Konvertierens der Eingabe und Ausgabe auf Standard-Output: interact :: (String -> String) -> IO () -- file: ch07/toupper-lazy4.hs import Data.Char(toUpper) main = interact (map toUpper) [OGS09], Ch. 7 D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: cont. einfache interaktive Programme mit interact -- file: ch07/toupper-lazy6.hs import Data.Char(toUpper) main = interact ((++) "Your data, in uppercase, is:\n\n" . map toUpper) [OGS09], Ch. 7 D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: cont. Beispiel: Filtern mit interact -- file: ch07/filter.hs main = interact (unlines . filter (elem ’a’) . lines) Hilfsfunktionen: lines :: String -> [String] unlines :: [String] -> String [OGS09], Ch. 7 D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Lazy I/O in Haskell: cont. Beispiel: Umdrehen der Zeilen der Eingabe bei interact -- file: ch07/reverseLines.hs main = interact (unlines . map reverse . lines) mögliche Nutzung: H:\Daten\work\haskell\code\realWorldHaskell\ch07>runghc reverseLines.hs nur du gudrun nurdug ud run eine treue familie bei lima feuerte nie ein etreuef amil ieb eilimaf euert enie ^Z H:\Daten\work\haskell\code\realWorldHaskell\ch07> D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Literatur: I Bryan O’Sullivan, John Goerzen, and Don Stewart. Real World Haskell. O’Reilly Media, Sebastopol, CA 95472, 2009. ISBN 978-0-596-51498-3; online available at http://book.realworldhaskell.org/. Simon Thompson. Haskell - The Craft of Functional Programming. Addison Wesley Longman Ltd., Essex, 1999. 2nd edition, ISBN 0-201-34275-8; Accompanying Web site: http://www.cs.ukc.ac.uk/people/staff/sjt/craft2e. D. Rösner FP 2013 . . . Lazy I/O in Haskell hGetContents readFile und writeFile interact Literatur: II Simon Thompson. Haskell - the craft of functional programming. Pearson Education Ltd., Essex, 2011. 3rd edition, ISBN 978-0-201-88295-7; Accompanying Web site: http://www.haskellcraft.com. D. Rösner FP 2013 . . .
