Re: [Haskell] Re: Mixing monadic and non-monadic functions

Am Freitag, 9. September 2005 23:56 schrieb Frederik Eaton:

[...]

Would it mean treating the 'Monad' class specially? Perhaps, but I don't think this is a reason to avoid it.

As far as I can see, your approach would make Haskell a kind of imperative programming language. Side-effects would be hidden in expressions which is a thing I want to see strictly avoided.

[...]

Also, I do not think that template haskell is powerful enough to support this, but I'm willing to be proven wrong.

I suppose that Template Haskell is powerful enough to automatically declare instances of classes like Num for monadic types, based on instances for non-monadic types.

Frederik

Best wishes, Wolfgang