[Haskell] Mixing monadic and non-monadic functions

[Wolfgang Jeltsch]

Am Donnerstag, 8. September 2005 22:30 schrieb Frederik Eaton:
> Hi Chad,
>
> I'm not sure exactly what you have in mind. Obviously I want something
> that applies to all functions, with any number of arguments, and not
> just (+). Furthermore, it should handle cases like 1+[2,3] where only
> one value is monadic. Keean Schupke's suggestion sounds more likely to
> be useful, but I'm still reading it. In any case, a minimum of
> syntactic overhead is desired.
>
> Frederik

Hello,

I doubt that it is a good thing to extend the language in a way that such far 
reaching declarations are automatically generated.  I would like to have more 
control about which things are declared and which are not and also in which 
way the are declared.  In addition, I'm against giving a specific class 
(Monad) a very special position among all classes.

One of the advantages of functional programming languages is that the language 
directly supports very little features but is so powerful that you can define 
new features by using the language.  Maybe, it would be good that those 
people who want this automatic lifting of functions implement it using 
Template Haskell.

Best regards,
Wolfgang