$ Знака доллара не разрешен на месте скобки

Question

Замены скобок в этой функции:

isInteger x = x == fromInteger (round x) 

с оператором знак доллара:

isInteger x = x == fromInteger $ round x 

вызывает ошибку.

Каковы ограничения использования оператора $?

Answer 1

$ имеет крайне низкий приоритет, ниже ==, ниже все. Попытка анализируется как

isInteger x = (x == fromInteger) $ (round x) 

, который он пытается применить Bool в качестве функции. Вы можете написать

isInteger x = x == (fromInteger $ round x) 

но это на самом деле не сохраняет никаких круглых скобок; это просто сдвигает их.

---

Если вы действительно хотите, чтобы избавиться от скобок (или, по крайней мере, на самом деле переместить их в сторону), вы можете воспользоваться тем, что (-> r) является аппликативным функтор, который вкратце означает, что f <*> g == \x -> f x (g x) , Замена f с (==) и g с fromInteger . round, вы получите

isInteger = (==) <*> fromInteger . round 

потому

x == fromInteger (round x) -> (==) x (fromInteger (round x)) 
          -> (==) x ((fromInteger . round) x) 
           ---- --------------------- 
           f x (   g   x) 

Answer 2

Это начало принятого ответа на вопрос, который вы связаны в комментариях:

$ для избежания скобок. Все, что появляется после , будет иметь приоритет над всем, что приходит раньше.

Принимая это во внимание, isInteger x = x == fromInteger $ round x становится isInteger x = (x == fromInteger) (round x), поэтому вы принимаете результат x == fromInteger (который типа Bool) и применить его к round x. Это явно не имеет смысла.