GP
В эльм есть кайнды?
Size: a a a
2020 September 21
AP
Только один
_:
Только один
Например Maybe же * -> *
D•
Denis Krivosheev
Всем привет) Сделали тут групку про здоровье программиста... Связано, но не очень сильно) Надеюсь это не сочтут за спам, если да - я удалю https://t.me/programmershealth
Я попозже добавлю в github.com/goq/telegram-list
DK
Я попозже добавлю в github.com/goq/telegram-list
Спасибо
AP
Например Maybe же * -> *
Речь о том, можно ли тип с таким кайндом использовать в других типах. Нельзя
AP
Конструктор типа должен быть полностью применён перед тем, как он может быть параметром для другого типа
2020 September 22
MP
Всем привет. Кто-нибудь может объяснить запись:
А именно lo
То есть, если бы было
lo
А когда у нас запись >>, то как бы вы объяснили?
(пример отсюда https://github.com/elm/browser/blob/master/notes/navigation-in-elements.md)
-- SUBSCRIPTION
subscriptions : Model -> Sub Msg
subscriptions model =
onUrlChange (locationHrefToRoute >> UrlChanged)
А именно lo
cationHrefToRoute >> UrlChanged ?То есть, если бы было
lo
cationHrefToRoute |> UrlChanged то я бы сказал, что в UrlChanged первым аргументом попадет, то что получилось в результате выполнения locationHrefToRouteА когда у нас запись >>, то как бы вы объяснили?
(пример отсюда https://github.com/elm/browser/blob/master/notes/navigation-in-elements.md)
AY
Всем привет. Кто-нибудь может объяснить запись:
А именно lo
То есть, если бы было
lo
А когда у нас запись >>, то как бы вы объяснили?
(пример отсюда https://github.com/elm/browser/blob/master/notes/navigation-in-elements.md)
-- SUBSCRIPTION
subscriptions : Model -> Sub Msg
subscriptions model =
onUrlChange (locationHrefToRoute >> UrlChanged)
А именно lo
cationHrefToRoute >> UrlChanged ?То есть, если бы было
lo
cationHrefToRoute |> UrlChanged то я бы сказал, что в UrlChanged первым аргументом попадет, то что получилось в результате выполнения locationHrefToRouteА когда у нас запись >>, то как бы вы объяснили?
(пример отсюда https://github.com/elm/browser/blob/master/notes/navigation-in-elements.md)
>> избавляет от лишних скобок
AY
sqrt >> isEven >> not
\x -> not (isEven (sqrt x))
\x -> not (isEven (sqrt x))
AY
Я в общем доку процитировал. Только нужно глянуть на <<
https://package.elm-lang.org/packages/elm/core/latest/Basics#(%3C%3C)
https://package.elm-lang.org/packages/elm/core/latest/Basics#(%3C%3C)
MP
Я в общем доку процитировал. Только нужно глянуть на <<
https://package.elm-lang.org/packages/elm/core/latest/Basics#(%3C%3C)
https://package.elm-lang.org/packages/elm/core/latest/Basics#(%3C%3C)
да, я понимаю пример, а словами объяснить не могу
AY
Ну глобально там такой же смысл - меньше скобок - лучше. Как и у |>
MP
UrlChanged получит результат работы locationHrefToRoute, которая в свою очередь получит аргументом, то что было в onUrlChange ?
AY
onUrlChange (\x -> UrlChanged (locationHrefToRoute x))
такой смысл 😄 так и читается
такой смысл 😄 так и читается
AY
тут onUrlChange главный и он хочет "callback"
AP
|> применяет функцию справа к аргументу слеваAP
>> композирует функцию слева с функцией справа так, чтобы результат вызова первой становился аргументом для второй