Notes (OFVB 09/31): More with Functions
Questions
1
This is just a description of currying, which I have written about in great detail elsewhere (HPFP notes).
2
Type of member is 'a -> 'a list -> bool
3
((/) 2) is the same as (fun x -> 2 / x), we want (fun x -> x / 2)
4
It is possible to write a function which works like a map over arbitrary list nesting. One way to do it is to write a function that first converts the list into a tree, and then a write another function that maps over the leaves of the tree.