Or would (f _ x) y and f _ x y maybe be different? That would fix the problem above, while introducing another. Please, no!
seconded. I think the original problem (want to omit lambda notation in a few cases) does not need to be fixed. Functions with too many parameters are bad style anyway, in most cases there should actually be a record type for them. See Code Smell: long parameter list, Refactoring: introduce parameter object. e. g. http://wiki.java.net/bin/view/People/SmellsToRefactorings On the other hand, standard OO languages do not have partial evaluation so perhaps this changes the idea a bit. The question is, how much. best regards, -- -- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 -- ---- http://www.imn.htwk-leipzig.de/~waldmann/ -------