atom feed46 messages in org.haskell.haskell-primedeeqSeq proposal
FromSent OnAttachments
Simon Peyton-JonesApr 3, 2006 7:11 am 
Robert DockinsApr 3, 2006 10:13 am 
Andy GillApr 3, 2006 12:20 pm 
Simon MarlowApr 4, 2006 6:43 am 
TaralApr 4, 2006 10:07 am 
Andy GillApr 4, 2006 2:43 pm 
Andy Adams-MoranApr 4, 2006 2:48 pm 
John MeachamApr 4, 2006 5:14 pm 
Andy GillApr 4, 2006 5:49 pm 
John MeachamApr 4, 2006 5:57 pm 
Simon MarlowApr 5, 2006 4:57 am 
Nils Anders DanielssonApr 5, 2006 5:58 am 
Spencer JanssenApr 5, 2006 11:29 am 
Simon Peyton-JonesApr 5, 2006 11:32 am 
Ben Rudiak-GouldApr 5, 2006 2:58 pm 
John MeachamApr 5, 2006 7:47 pm 
Andy GillApr 6, 2006 3:02 am 
Simon MarlowApr 6, 2006 4:14 am 
Andy Adams-MoranApr 6, 2006 10:51 am 
Fergus HendersonApr 6, 2006 12:44 pm 
John MeachamApr 6, 2006 4:51 pm 
Lennart AugustssonApr 6, 2006 5:42 pm 
Andy Adams-MoranApr 6, 2006 6:35 pm 
Rene de VisserApr 7, 2006 6:54 am 
Andy GillApr 7, 2006 5:33 pm 
Simon MarlowApr 10, 2006 5:05 am 
John MeachamApr 10, 2006 5:20 am 
Andy GillApr 10, 2006 5:35 pm 
Lennart AugustssonApr 10, 2006 5:59 pm 
John MeachamApr 10, 2006 6:39 pm 
Simon MarlowApr 11, 2006 3:42 am 
Simon Peyton-JonesApr 11, 2006 4:49 am 
Bulat ZiganshinApr 11, 2006 5:34 am 
John MeachamApr 11, 2006 7:04 am 
Simon Peyton-JonesApr 11, 2006 7:11 am 
John MeachamApr 11, 2006 7:16 am 
Simon Peyton-JonesApr 11, 2006 7:27 am 
Lennart AugustssonApr 11, 2006 8:38 am 
Simon Peyton-JonesApr 11, 2006 8:56 am 
Lennart AugustssonApr 11, 2006 5:33 pm 
Jan-Willem MaessenApr 12, 2006 9:16 am 
John MeachamApr 12, 2006 4:20 pm 
Roman LeshchinskiyApr 13, 2006 12:05 am 
Lennart AugustssonApr 13, 2006 7:06 am 
Jan-Willem MaessenApr 13, 2006 3:58 pm 
Wolfgang JeltschJul 5, 2006 1:25 pm 
Subject:deeqSeq proposal
From:Wolfgang Jeltsch (wolf@jeltsch.net)
Date:Jul 5, 2006 1:25:44 pm
List:org.haskell.haskell-prime

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