Описание тега operator-sections
Секции операторов - это функция в Haskell, которая позволяет нам писать частично применяемые инфиксные операторы, такие как `(+ 2)`, что означает `(\x-> x + 2)`.
3
ответа
Частичное применение с инфиксными функциями
В то время как я немного понимаю о карри в математическом смысле, частичное применение инфиксной функции было новой концепцией, которую я открыл после того, как окунулся в книгу " Изучите вас на хаскеле для великого добра" . Учитывая эту функцию: ap…
12 апр '12 в 20:28
3
ответа
Как понять это использование `$` в Haskell
Это происходит в ситуации, когда вы хотите применить несколько функций к одной и той же переменной, это может выглядеть так: map (\f->f 4) [odd, even] но из Ляха $ сделать это очень аккуратно map ($ 4) [odd, even] почему это работает. сначала я н…
25 авг '14 в 15:02
2
ответа
Раздел оператора для аппликативного с <$> и <*>
Рассмотрим функции типа a -> b -> cи аппликативные значения a1, a2 :: (Applicative f) => f a, Я хочу построить функцию, которая может быть применена к функциям типа a -> b -> c получить значения типа Applicative f :: f c, Я могу сдела…
10 июн '15 в 06:05
3
ответа
Применение функции в Haskell
Хорошо, это был долгий день, и мой мозг может не функционировать на уровне Haskell, но я просто не могу понять один пример из "Learn You a Haskell". Раздел называется Application Function с $, и есть пример того, как $ может быть определено: ($) :: …
08 сен '14 в 14:50
4
ответа
Приложение оператора Haskell доллар
У меня возникли проблемы с пониманием того, как приложение функции работает с карри в haskell. Если у меня есть следующая функция: ($) :: (a -> b) -> a -> b Я понимаю, что для частичного применения этой функции мне нужно предоставить (a -&g…
18 янв '13 в 21:05
3
ответа
Является ли раздел результатом каррирования?
В программировании в Хаскеле Хаттоном В общем, если # является оператором, то выражения вида (#), (x #), а также (# y) для аргументов x а также y называются разделами, значение которых как функции можно формализовать с помощью лямбда-выражений следу…
13 июл '19 в 15:45