[Haskell-cafe] Re[2]: strict Haskell dialect

John Meacham john at repetae.net
Fri Feb 3 18:06:47 EST 2006


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⑈


More information about the Haskell-prime mailing list