[Haskell-cafe] Re: Article review: Category Theory
ndmitchell at gmail.com
Fri Jan 19 13:22:32 EST 2007
> I've often wondered why seq is the primitive and not $!
> Would this solve the problem?
> Is there any solution that would allow excess laziness to be removed from a
> Haskell program such that Hask would be a category?
class Seq a where
seq :: a -> b -> b
Then you have a different seq based on the types, and it doesn't go
wrong. You would probably want deriving Seq support.
More information about the Haskell-Cafe