On Fri, Feb 03, 2006 at 07:33:12PM -0000, Brian Hulley wrote:
> One question is how to get some kind of "do" notation that would work well
> in a strict setting.
> The existing "do" notation makes use of lazyness in so far as the second
> arg of >> is only evaluated when needed. Perhaps a new keyword such as
> "go" could be used to use >>= instead ie:
you can override (>>) in your monad
instance Monad ... where
a >> b = a `seq` b `seq` (a >>= \_ -> b)
....
unless I am misunderstanding what you want.
John
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Haskell-prime mailing list
[email protected]
http://haskell.org/mailman/listinfo/haskell-prime
