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 _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
