В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Elm Lang сообщество разработчиков

291 membersпожаловаться на группу
2019 May 25

MP

Max P in Elm Lang сообщество разработчиков
Ryner :: () -> IO ❄️
(<|) принимает 2 аргумента
1. Функция которую нужно применить
2. Значение которое нужно передать в эту функцию

В итоге он берет значение из аргумента два, посылает его в функцию из аргумента 1 и выполняет ее
Например
succ :: Int -> Int
succ = (+) 1

succ succ 2 -- будет ошибка
succ <| succ 2 -- сработает
succ (succ 2) -- тоже сработает
1 аргумент - это (a -> b) или (a -> b) -> a ?
источник
22:41пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
Max P
1 аргумент - это (a -> b) или (a -> b) -> a ?
(a -> b)
источник
22:42пожаловаться

MP

Max P in Elm Lang сообщество разработчиков
ага, а последнее b это тип возвращаемого значения.. так, перечитываю)
источник
22:42пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
Max P
ага, а последнее b это тип возвращаемого значения.. так, перечитываю)
Да и это результат функции которую мы передаем первым аргументом
источник
22:43пожаловаться

MP

Max P in Elm Lang сообщество разработчиков
ват?) чет не заходит, может еще какой примерчик есть?
источник
22:44пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
Max P
ват?) чет не заходит, может еще какой примерчик есть?
Да какой пример?
источник
22:44пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
succ 1 == succ $ 1
источник
22:44пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
Ой
источник
22:44пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
<|, $ в хаскеле
источник
22:44пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
$ берет функцию слева от себя и применяет к ней значение справа
источник
22:45пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
Что может быть проще?
источник
22:45пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
Только функция id
источник
22:45пожаловаться

MP

Max P in Elm Lang сообщество разработчиков
не, я понимаю как оно работает
источник
22:45пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
id :: a -> a
id a = a
источник
22:45пожаловаться

MP

Max P in Elm Lang сообщество разработчиков
я не понимаю почему сигнатура такая, или не понимаю как ее прочесть, не могу нормально вопрос поставить, но сам бы я такую сигнатуру не написал)
источник
22:45пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
Max P
я не понимаю почему сигнатура такая, или не понимаю как ее прочесть, не могу нормально вопрос поставить, но сам бы я такую сигнатуру не написал)
Что в ней не понятного?
источник
22:46пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
В () пишутся функции в сигнатурах
источник
22:46пожаловаться

MP

Max P in Elm Lang сообщество разработчиков
это тоже понятно.
Попробую привести пример (сорян, что не могу нормально сформулировать вопрос сейчас):
String.repeat 3 <| String.repeat 2 "A"

Вернет 6 А, это ок.
String.repeat 3 = String -> String
String.repeat 2 "A" = String

как String -> String <| String (если можно так написать для псевдопримера) превратилось в (a -> b) -> a -> b - не доходит
источник
22:49пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
Ничего не превращалось
источник
22:50пожаловаться

R:

Ryner :: () -> IO ❄️ in Elm Lang сообщество разработчиков
Результат выражения это :: String
источник
22:52пожаловаться