Пусть f x y = x * y
. Мы можем применить эту функцию двумя способами: f 5 6
или, используя инфиксную нотацию, 5 `f` 6
. Применяются ли правила оператора к этому последнему выражению? Какой приоритет будет у этого приложения? Является ли это просто еще одной формой приложения функции, и поэтому она также будет иметь наивысший приоритет?
Я полагаю, что компилятор видит эту особую форму (из-за «
и / или имени, начинающегося с letter (?)), и фактически рассматривает это как обычное функциональное приложение, а не как оператор.