
5 Jul
2006
5 Jul
'06
1:34 p.m.
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