НайменшенькийЧерез те що у Haskell аргументи функції не вкладаються у дужки при спробі передати результат однієї функції в іншу потрібно використати дужки для групування.
foo bar x -- Функції передаються два аргументи bar і x
foo (bar x) -- Функції bar передається аргумент x і її результат підставиться як один аргумент функції foo
У цьому простому прикладі все виглядає просто і зрозуміло, але якщо у нас був би складніший вираз з іншими дужками все виглядало б не так зрозуміло.
Для полегшення додали спеціальний оператор зниження пріоритету. Складається він з одного символу $. Використати його ми можемо тут підставивши між функціями.
foo $ bar x
Результат буде той же що й з дужками.
Цей оператор має праву асоціативність і найнижчий пріоритет. Перевірити це ми можемо в інтерпретаторі.
> :i ($)
($) :: (a -> b) -> a -> b -- Defined in ‘GHC.Base’
infixr 0 $
Тако ж у цьому повідомленні ми бачимо тип цього оператора. Він приймає іншу функцію й аргумент цієї функції, а повертає результат цієї функції. Визначення цього оператора таке.
($) f x = f x
#ukrhaskell #програмування #haskell #оператор #$ #пріоритет #функції
Viktor Tokariev 🇺🇦