Laws and partial values (was: [Haskell-cafe] mapM_ -> Monoid.Monad.map)

roconnor at theorem.ca roconnor at theorem.ca
Sat Jan 24 22:01:00 EST 2009


On Sun, 25 Jan 2009, Lauri Alanko wrote:

> On Fri, Jan 23, 2009 at 08:10:38PM -0500, roconnor at theorem.ca wrote:
>> I'd like to argue that laws, such as monoid laws, do not apply to partial
>> values.  But I haven't thought my position through yet.
>
> Before you do, you may want to read "Fast and Loose Reasoning is
> Morally Correct":
>
> http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.8232

This is very good.

-- 
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''


More information about the Haskell-Cafe mailing list