deeqSeq proposal

[Wolfgang Jeltsch]

Am Freitag, 7. April 2006 00:40 schrieb Andy Adams-Moran:
> Lennart Augustsson wrote:
> > Andy Adams-Moran wrote:
> >>> The only thing you can do with non-functions is put them in the sin
> >>> bin:
> >>>
> >>>   deepSeq :: a -> IO ()
> >>
> >> unsafeDeepSeq?
> >>
> >> I guess we don't want to expand the unsafe* vocabulary for Haskell'
> >> though ...
> >
> > What's wrong with
> >     deepSeeqIO :: a -> IO ()
> > ?
> > Then you can use unsafePerformIO if you want
> >     deepSeq :: a -> b -> b
>
> Yes, quite right!  In the case of deepSeqIO, we do know precisely what
> the safety condition is (as opposed to generic uses of unsafePerformIO
> and its cousins), so maybe we want to call that out somehow.
>
> A

And maybe we should switch from seq to seqIO :: a -> IO ()?

Best wishes,
Wolfgang