[Haskell-cafe] Re: Article review: Category Theory
jmaessen at alum.mit.edu
Fri Jan 19 14:17:03 EST 2007
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
>>> 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?
seq = (const id $!)
> 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.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 2425 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070119/17b12a92/smime-0001.bin
More information about the Haskell-Cafe