..I was thinking of the following syntax. I orginally had the idea for C++, where you can't do partial application at all.

? FC++: Functional Programming in C++ http://www.cc.gatech.edu/~yannis/fc++/ (I wouldn't be defending C++ otherwise, but its set of things you can't do at all must be a lot smaller than in other languages;-) They seem to support the _ notation, btw. Laurent Dami had a lambda-calculus variant that allowed for partial application by name instead of by position (amongst several other interesting features:) http://cui.unige.ch/~dami/publis.html Claus -- Research Opportunity: Refactoring Functional Programs (UKC) Closing date: Friday 22 March 2002 !! http://www.cs.ukc.ac.uk/vacancies_dir/r02-24.html