I have just been able to understand the difference between currying and partial application. With this newly acquired knowledge, I would like to canvass in favor of making the symbol :curry incorrectly mean partial application all over the core, while current (correct) #curry be (again correctly) renamed to #schönfinkelize. I think that this longish word with its nice umlaut captures well the contorted and unnatural nature of the operation in question. Should the umlaut be an obstacle to this proposal, #scheinfinkelize or (if we want to stick with food) #aufschnittschneiden, or simply #aufschnitt would do.
The deep benefit of this improvement would be that in this way, the real first author of this operation, Moses Schönfinkel, would be commemorated, while "partial application" would gain a shortish name. Haskell Curry already has Haskell language with its fanboys named after him, whereas for Schönfinkel, there is hardly any hope anyone would name a computer language "Moses" after him.
I have just been able to understand the difference between currying and partial application. With this newly acquired knowledge, I would like to canvass in favor of making the symbol :curry incorrectly mean partial application all over the core, while current (correct) #curry be (again correctly) renamed to #schönfinkelize. I think that this longish word with its nice umlaut captures well the contorted and unnatural nature of the operation in question. Should the umlaut be an obstacle to this proposal, #scheinfinkelize or (if we want to stick with food) #aufschnittschneiden, or simply #aufschnitt would do.