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 "partial-apply", "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 2007-05-24 17:44 | LtU Forum | previous forum topic | next forum topic | other blogs | 53659 reads
|
Browse archivesActive forum topics |
Recent comments
4 hours 45 min ago
1 day 2 hours ago
2 days 12 hours ago
3 days 36 min ago
3 days 36 min ago
3 days 37 min ago
3 days 40 min ago
3 days 17 hours ago
3 days 18 hours ago
4 days 19 hours ago