19 Jan
2019
19 Jan
'19
7:09 p.m.
On 16/01/2019 15:52, Dimitri DeFigueiredo wrote:
...I was expecting to get: inc . const :: Num a => a -> b -> a
Prelude> inc x = x + 1
On Wed, Jan 16, 2019 at 5:06 PM Sylvain Henry
Remember that a -> b -> a is equivalent to a -> (b -> a)...
To augment Sylvain's explanation: The upshot of this unexpected type - which would almost certainly lead to a type error in any real program - is that you probably want const . inc rather than inc . const -Yitz