IO-Beispiel

IO a = IO-Aktion mit Resultattyp a.

import System.Environment ( getArgs ) 
import Control.Monad ( forM_ )
main :: IO ()
main = do
    argv <- getArgs
    forM_ argv $ \ arg -> do
         cs <- readFile arg ; putStr cs

• übersetzen: ghc --make Cat
• ausführen: ./Cat *.tex
• Typ und Implementierung von forM_?