[Haskell-cafe] IO is not a monad
duncan.coutts at worc.ox.ac.uk
Wed Jan 24 04:27:43 EST 2007
On Wed, 2007-01-24 at 00:33 +0200, Yitzchak Gale wrote:
> My challenge is:
> 1. Find a way to model strictness/laziness properties
> of Haskell functions in a category in a way that is
> reasonably rich.
The reason it's not obvious for categories is because the semantics for
Haskell comes from domain theory (CPOs etc) not categories. Domains can
describe the issues of strictness in data types quite precisely,
including the lifted function space.
More information about the Haskell-Cafe