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 <

[hidden email]> wrote:

> 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

_______________________________________________

Beginners mailing list

[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners