wolfgang at jeltsch.net
Wed Jul 5 13:34:59 EDT 2006
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.
And maybe we should switch from seq to seqIO :: a -> IO ()?
More information about the Haskell-prime