Type error in explicitly typed binding - Haskell

Question

I've been struggling for like an hour to understand some things in higher order functions and now I am at the point that I cannot move any further because of this error:

    hof :: [Integer] -> (Integer -> Integer)
    isIn :: [Integer] -> Integer -> Integer
    isIn [] s = 0
    isIn [] _ = 0
    isIn (h:t) s
        | h == s = 0 {-<-------- error points here here-}
        | otherwise = isIn(t) + 1
    hof s = \n -> isIn s n

      ERROR file:.\Lab2.hs:111 - Type error in explicitly typed binding
      *** Term           : isIn
      *** Type           : [Integer] -> Integer -> Integer -> Integer
      *** Does not match : [Integer] -> Integer -> Integer

No need to apologise in your question - there's nothing wrong in asking for help. — AJF
– AJF, Commented Apr 6, 2018 at 22:45

chepner · Accepted Answer · 2018-04-06 22:41:12Z

6

You are missing the second argument in the recursive call to isIn; it should be

 | otherwise = isIn t s + 1
 --                   ^

While not an error, you also have a redundant base case; s and _ are both irrefutable patterns, so just isIn [] _ = 0 is sufficient.

Also not an error, but there is no difference between hof and isIn, as you can eta-reduce the definition to

hof s = isIn s

and again to

hof = isIn

answered Apr 6, 2018 at 22:41

chepner

538k77 gold badges595 silver badges747 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

White_Sirilo Over a year ago

Thanks buddy, you helped me the most today, you actually had the tolerance to answer to all my noob questions. If i had more rep i would +1 you but now i am so low i can't :P.

Collectives™ on Stack Overflow

Type error in explicitly typed binding - Haskell

1 Answer 1

1 Comment

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

1 Comment

Your Answer

Sign up or log in

Post as a guest

Related