Использование скобок в Haskell

Question

Я получаю эту ошибку:

<interactive>:145:29: 
    Could not deduce (Integral ([a0] -> Int)) 
     arising from a use of ‘fromIntegral’ 
    from the context (Num ([a] -> a), Fractional a) 
     bound by the inferred type of 
       meanList :: (Num ([a] -> a), Fractional a) => [a] -> a 
     at <interactive>:145:5-50 
    The type variable ‘a0’ is ambiguous 
    In the second argument of ‘(/)’, namely ‘(fromIntegral length x)’ 
    In the expression: (sum x)/(fromIntegral length x) 
    In an equation for ‘meanList’: 
     meanList x = (sum x)/(fromIntegral length x) 

Выше ошибка генерируется:

Однако при обновлении это:

let meanList x = sum x/fromIntegral (length x) 

Тогда все хорошо.

Как скобки работают в Haskell?

Answer 1

Функциональное применение левое ассоциативное. Другими словами,

fromIntegral length x = (fromIntegral length) x 

Следовательно, ошибка Could not deduce (Integral ([a0] -> Int)), так как тип длины действительно не экземпляр Integral.