[Haskell-cafe] Re: Article review: Category Theory

[Jan-Willem Maessen]

On Jan 19, 2007, at 1:07 PM, Brian Hulley wrote:

> Lennart Augustsson wrote:
>
>> On Jan 19, 2007, at 08:05 , apfelmus at quantentunnel.de wrote:
>>> Thus, Hask is not a category, at least not as defined in the  
>>> article.
>>> The problem is that (either) morphisms or the morphism composition
>>> ('.')
>>> are not internalized correctly in Haskell.
>
>>
>> And this is why some of us think that adding polymorphic seq to
>> Haskell was a mistake. :(
>
> I've often wondered why seq is the primitive and not $!
> Would this solve the problem?

Sadly, no:

seq = (const id $!)

-Jan-Willem Maessen

> Is there any solution that would allow excess laziness to be  
> removed from a Haskell program such that Hask would be a category?
>
> Thanks, Brian.
> -- 
> http://www.metamilk.com
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2425 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070119/17b12a92/smime-0001.bin