[Prev] [Up] [Next]


Programs

Haskell 1.3 programs are the result of executing Main.main. This must have type IO (), as defined in PreludeMonadicIO. If a program p terminates without calling exitWith explicitly, it is treated identically to the computation
p>> exitWith ExitSuccess.

> module Main where
> 
> main :: IO ()
> main =  putStr "Hello World\n"


[Prev] [Up] [Next]


The Definition of Monadic I/O in Haskell 1.3
Haskell 1.3 Committee
haskell1.3@comp.vuw.ac.nz