Haskell: Wsporniki działają, ale $ wyrzuca błąd

Question

Oczekuję następującego kodu, aby przekonwertować "15" na liczbę całkowitą i wydrukować wynik, ale spowoduje to błąd.

main = print $ read "15" :: Integer 

Couldn't match expected type `Integer' with actual type `IO()' 

Ale wystarczy użyć main = print (read "15" :: Integer) działa dobrze. Miałem wrażenie, że $ efektywnie otacza resztę linii w nawiasach. Dlaczego $ nie działa w tym przypadku?

Answer 1

$ nie jest cukrem składni, która stawia ( w obecnym miejscu i ) na końcu linii.

Tak więc print $ read "15" :: Integer jest interpretowane jako (print (read "15")) :: Integer. Dzieje się tak, ponieważ $ :: (a -> b) -> a -> b (operator infiksów składu funkcjonalnego) przyjmuje dwie funkcje: print i read "15" i "stosuje" je jedna za drugą. :: Integer wydaje się nie być tutaj funkcją, jest bardziej jak słowo kluczowe, więc $ nie działa tak, jak się spodziewałeś.