Laws for Monad and MonadPlus.

2001-03-13 Thread Theodore Norvell
>j x `mplus` k x) = (p >>= j) `mplus` (p >== k) [provided x is not free in j or k] But commutativity does not hold for Maybe or [], left distributivity does not hold for Maybe and right distributivity does not hold for [], so these can't be right. Are the other i

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Theodore Norvell
ll class? Can I use Haskell to extend a C# abstract class? I suspect the answer to both these questions is currently no. If future versions of .NET and Haskell variants change that, it will be very interesting. Cheers, Theodore Norvell Dr. Theodore Norvell

Re: Haskell and the NGWS Runtime

2000-08-09 Thread Theodore Norvell
de interlanguage and network interoperability? Why is it important for Haskell to fit into .NET? I hope this isn't too far off topic. Cheers, Theodore Norvell ---- Dr. Theodore Norvell[EMAIL PROTECTED] Electrical and Computer