Prev

Next

Concurrent Haskell

• Control over I/O
• The use of I/O part of the type system (IO monad)

 main :: IO ()
 main = do { c <- getChar; putChar c; putChar c }

• Thread primitives

 forkIO :: IO a -> IO ThreadId
 main = do { forkIO (print ’x’); print ’y’ }

24