[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