[Haskell-cafe] Join and it's relation to >>= and return

[Graham Klyne]

At 08:20 09/06/04 -0700, Ron de Bruijn wrote:
>Only I still find it weird that join is called a
>multiplication, because according to the definition of
>multiplication, there should be an inverse.

For real or rational numbers, maybe.

But also think about Integers, or matrices.

   [ 1 2 ] * [ 3 ] = [ 11 ]
             [ 4 ]

   [ 1 2 ] * [ 1 ] = [ 11 ]
             [ 5 ]

   [ -3 5 ] * [ 3 ] = [ 11 ]
              [ 4 ]

Where's the inverse here?

#g


------------
Graham Klyne
For email:
http://www.ninebynine.org/#Contact