[Haskell-cafe] Re: Re[2]: Why monad tutorials don't work

2007-08-15 Thread Dominic Steinitz
Miguel Mitrofanov miguelimo38 at yandex.ru writes: Grrr...must...hold...my...tongue... Dan, as a former student of a clone of that physics teacher, I am really interested in what you will say when you fail to hold your tongue. -- Bill Wood MV I have to admit I was wondering

[Haskell-cafe] Re: Re[2]: Why monad tutorials don't work

2007-08-15 Thread Andy Gimblett
On Wed, Aug 15, 2007 at 12:50:42PM +, Dominic Steinitz wrote: Miguel Mitrofanov miguelimo38 at yandex.ru writes: Grrr...must...hold...my...tongue... Dan, as a former student of a clone of that physics teacher, I am really interested in what you will say when you fail to hold

Re: [Haskell-cafe] Re: Re[2]: Why monad tutorials don't work

2007-08-15 Thread Dan Piponi
On 8/15/07, Andy Gimblett [EMAIL PROTECTED] wrote: I assumed he was just trying not to sing the Spider Pig song. I've been banned from singing that around the house. And the cat version. But I was mainly thinking about how the physicist's definition of tensor needn't be accepted as an

Re: [Haskell-cafe] Re: Re[2]: Why monad tutorials don't work

2007-08-15 Thread Dan Weston
Dan Piponi wrote: But I was mainly thinking about how the physicist's definition of tensor needn't be accepted as an irreducible given, but is a consequence of the definition of tensor product through its universal property: http://planetmath.org/encyclopedia/TensorProduct.html Having said

Re: [Haskell-cafe] Re: Re[2]: Why monad tutorials don't work

2007-08-15 Thread Dan Piponi
On 8/15/07, Dan Weston [EMAIL PROTECTED] wrote: You too could have invented Universal Algebra and Category Theory. I nominate Dan Piponi to write it and eagerly await its release! I've already started on it. Well, that's not the exact title and subject. And as an example I'll probably use the

Re: [Haskell-cafe] Re: Re[2]: Why monad tutorials don't work

2007-08-15 Thread Dipankar Ray
At this point I must mention that Tim Gowers has an excellent article on Tensor Products, entitled How to lose your fear of tensor products: http://www.dpmms.cam.ac.uk/~wtg10/tensors3.html Tim Gowers is a pretty ok mathematician - worth taking tips from, I'd say ;)

[Haskell-cafe] Re: Re[2]: Why monad tutorials don't work

2007-08-15 Thread Dominic Steinitz
Dan Piponi dpiponi at gmail.com writes: On 8/15/07, Dan Weston westondan at imageworks.com wrote: You too could have invented Universal Algebra and Category Theory. I nominate Dan Piponi to write it and eagerly await its release! I've already started on it. Well, that's not the exact