[Haskell-cafe] Re: what is inverse of mzero and return?
Jorge Adriano Aires
jadrian at mat.uc.pt
Mon Jan 24 18:55:40 EST 2005
> A constant c :: a is just morphism(function) c : 0 -> a, where 0 is the
> initial object (empty set).
--- Rant2 "correction"
Opss I messed up here. Should be terminal should 1-> a (terminal object/unit
set). At least that's how I usually think of constants in haskell 1 is
()... so I think I don't know what is a constant in Haskell... Anyway,
More information about the Haskell-Cafe