seq as type class method

Sittampalam, Ganesh ganesh.sittampalam at credit-suisse.com
Mon Nov 9 09:00:14 EST 2009


Henning Thielemann wrote:
> Roman Leshchinskiy schrieb:
>> On 06/11/2009, at 09:50, Henning Thielemann wrote:

>>>  expose :: a -> b -> b
>>>  expose = seq
>>> 

>> This class serves as a vehicle for performing certain black magic
>> rituals which (usually) help SpecConstr destroy evil artifacts
>> introduced by stream fusion. In particular, expose is *not* seq; it
>> is essentially deepSeq.
> 
> Mysteriously it seems there is also no deepseq package on Hackage ...
> only a DeepSeq module as part of HXT.
> 
> Ok, there is Control.Parallel.Strategies.rnf, but I do not see, why
> deep strictness should be bound to the parallelism package (that is
> probably not as portable as a deep strictness package).  
> 
> http://www.haskell.org/pipermail/haskell-cafe/2006-October/019026.html

I mentioned the idea of splitting out the strictness bits from parallel
into a separate package a while ago and noone objected, but it needs
someone to write the patch checking for hidden gotchas and make a formal
proposal.

Ganesh

=============================================================================== 
 Please access the attached hyperlink for an important electronic communications disclaimer: 
 http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html 
 =============================================================================== 
 


More information about the Libraries mailing list