[Haskell-cafe] Re: A question about "monad laws"
Arnar Birgisson
arnarbi at gmail.com
Mon Feb 11 10:52:01 EST 2008
Hi all,
On Feb 11, 2008 3:14 PM, apfelmus <apfelmus at quantentunnel.de> wrote:
> I will be mean by asking the following counter question:
>
> x + (y + z) = (x + y) + z
>
> is a mathematical identity. If it is a mathematical identity, a
> programmer need not care about this law to implement addition + . Can
> anyone give me an example implementation of addition that violates this law?
Depends on what you mean by "addition". In general, algebraists call
any associative and commutative operation on a set "addition", and
nothing else. From that POV, there is by definition no "addition" that
violates this law.
Arnar
More information about the Haskell-Cafe
mailing list