21 May
2010
21 May
'10
2:32 a.m.
On 20/05/2010, at 9:53 AM, Richard O'Keefe wrote:
The key point is the 'that would NATURALLY have', which I take to mean "as a result of type inference without any forcibly imposed type signatures".
In my second edition of Bird, the question just says: "Give examples of functions with the following types:" Tom