[Haskell-cafe] `seq` and categories
dons at galois.com
Sun May 24 16:17:44 EDT 2009
> On the IRC channel a few days ago, it was said that, as long
> as we allow `seq`, Hask is not a valid category.
> Doesn't this basically mean that a very large amount of
> Haskell -- anything with strictness annotations -- can not be
> described in a category Hask?
I'm not sure of the category theoretic story, but I'd imagine so. For
background on how seq confuses reasoning (and how to restore it), see
Janis Voigtlaender's extensive, thorough work on the topic.
seq does not preclude parametricity
More information about the Haskell-Cafe