User loginNavigation 
Currying != Generalized Partial Application?!I had mistakenly learned that curry was a form of generalized partial application from the paper : Function Currying in Scheme by Jeffrey A. Meunier In my paper I defined curry in Cat as: define curry : ('b ('A 'b > 'C) > ('A > 'C)) { swap quote swap compose }
Whereas this really should have been called "partialapply", "papply" or something comparable. define papply : ('b ('A 'b > 'C) > ('A > 'C)) { swap quote swap compose } define curry : (('A 'b > 'C) > ('b > ('A > 'C)) { quote [papply] compose } Has anyone else made this mistake? It seems to me that I have seen more incorrect definitions than correct ones. P.S. Anyone here interested in the health of Wikipedia (I've given up), I'd suggest fixing the code examples and "intuitively ..." note. By cdiggins at 20070524 17:44  LtU Forum  previous forum topic  next forum topic  other blogs  38855 reads

Browse archivesActive forum topics 
Recent comments
12 min 28 sec ago
2 hours 20 min ago
2 hours 41 min ago
3 hours 29 min ago
5 hours 31 min ago
8 hours 1 min ago
9 hours 8 min ago
9 hours 32 min ago
10 hours 23 min ago
10 hours 30 min ago