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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
