
10 Dec
2009
10 Dec
'09
12:04 a.m.
It's a good thing then that forkExec and return are denotationally equal (though not operationally). Otherwise, I'd be worried. Matthew Brecknell wrote:
Antoine Latter wrote:
A similar function that I'm fond of:
forkExec :: IO a -> IO (IO a)
It's cute that forkExec already has a dual operation with just the right name (specialised to IO):
join :: IO (IO a) -> IO a
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe