|
The following high-order functions
are well-known in functional programming and
most FP libraries provide most of them, or equivalents.
[an error occurred while processing this directive]
|
Exercises
- Which of the following are legal, and if so what is the type,
or illegal, and if so why?
- curry curry
- curry uncurry
- uncurry curry
- uncurry uncurry
- Rewrite foldl and foldr
so that parameter f is curried, and rewrite
sum and product to match.
|
SML:
:: | cons |
[x1,...] | list |
[ ] | list |
@ | append |
fn => | &lambda . |
: | has type |
Compared
|
|
|