Question

I have to dessignate types of 2 functions(without using compiler :t) i just dont know how soudl i read these functions to make correct steps.

f x = map -1 x
f x = map (-1) x

Well i’m a bit confuse how it will be parsed

Answer 1

Function application, or “the empty space operator” has higher precedence than any operator symbol, so the first line parses as f x = map - (1 x), which will most likely¹ be a type error.

The other example is parenthesized the way it looks, but note that (-1) desugars as negate 1. This is an exception from the normal rule, where operator sections like (+1) desugar as (\x -> x + 1), so this will also likely¹ be a type error since map expects a function, not a number, as its first argument.

_{¹ I say likely because it is technically possible to provide Num instances for functions which may allow this to type check.}