import System (getArgs) main :: IO () main= do args <- getArgs if args == [] then error "Aufruf: Filename Dimension1 Dimension2 ..." else prog (head args) (tail args) prog :: FilePath -> [String] -> IO () prog file dimZ = do cont <- readFile file putStr (file ++ "\n") putStr (show dimZ ++ "\n") let result = "Hello world!" writeFile (file++".out") ( result)