Телеграмм чат группы elm

2019 October 22

AR

Alexsey Ramzaev ⍉ in Elm Lang сообщество разработчиков

Тут хорошее объяснение для новичков, но я не совсем уверен что там все на 100 правильно говорят

источник

12:34пожаловаться

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков

Вот вы можете композить функции (a -> b) и (b -> c) в

(a -> c)

А когда появляется некий эффект (недетерминированность, возможность не иметь значения, случайность, асинхронность), то хочется и этот эффект сохранить и "продолжать мочь композить"
Вот монада как раз и восстанавливает возможность композить функции с эффектом:
(a -> m b) -> (b -> m c) -> (a -> m c)

источник

12:36пожаловаться

🤔

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

Aleksei (astynax) Pirogov

Книжка Милевского "ТК для программистов"

https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v1.3.0/category-theory-for-programmers.pdf

источник

12:36пожаловаться

YK

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

🤔

https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v1.3.0/category-theory-for-programmers.pdf

Блин, только-только хотел скинуть)

источник

12:36пожаловаться

YK

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

🤔

https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v1.3.0/category-theory-for-programmers.pdf

Спасибо

источник

12:37пожаловаться

YK

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

Сперва расшифровал ТК как "трудовой кодекс", и стал пытаться понять, в чём юмор)

источник

12:37пожаловаться

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков

Ну такая книжка тоже была бы полезной :)

источник

12:37пожаловаться

YK

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

Aleksei (astynax) Pirogov

Ну такая книжка тоже была бы полезной :)

=)

источник

12:37пожаловаться

YK

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

Aleksei (astynax) Pirogov

Вот вы можете композить функции (a -> b) и (b -> c) в

(a -> c)

А когда появляется некий эффект (недетерминированность, возможность не иметь значения, случайность, асинхронность), то хочется и этот эффект сохранить и "продолжать мочь композить"
Вот монада как раз и восстанавливает возможность композить функции с эффектом:
(a -> m b) -> (b -> m c) -> (a -> m c)

Да, я где-то на подкорке понимаю, пожалуй, что она позволяет иметь возможное значение.
Которое, если всё ок, будет вычислено, и которое можно извлечь из контейнера, если надо.
Либо, если всё не ок, то я получу Nothing

источник

12:39пожаловаться

MP

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

Yuri Kostin

Я находил вот такую и она очень простая вроде бы и понятная, но на определённом моменте я понял, что упёрся в стену.
https://mostly-adequate.gitbooks.io/mostly-adequate-guide/

mostly-adequate.gitbooks.io

Introduction · mostly-adequate-guide

поможет только "перечитать", я тоже не все понял, собираюсь потом вернуться к некоторым разделам.

источник

12:39пожаловаться

YK

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

Yuri Kostin

Да, я где-то на подкорке понимаю, пожалуй, что она позволяет иметь возможное значение.
Которое, если всё ок, будет вычислено, и которое можно извлечь из контейнера, если надо.
Либо, если всё не ок, то я получу Nothing

Как-то так?

источник

12:39пожаловаться

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков

Для Maybe, да, так и работает

источник

12:40пожаловаться

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков

Для Random откладывает генерацию на потом (возвращает новый Random)

источник

12:41пожаловаться

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков

Для Task сцепочивает задачи

источник

12:41пожаловаться

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков

И т.п.
Эффекты разные, но при сама возможность композить — единая

источник

12:41пожаловаться

v

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

Max P

поможет только "перечитать", я тоже не все понял, собираюсь потом вернуться к некоторым разделам.

Ровно такая же ситуация. Сначала читал и перестал понимать в одном месте. Когда вернулся, продвинулся порядком дальше до следующего момента "ничего не понимаю".

источник

12:42пожаловаться

AK

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

@YuraKostin во, нашёл: https://medium.com/@terezk_a/haskell-in-elm-terms-type-classes-415f1612b335

Medium

Haskell, in Elm terms: Type Classes

Ever been confused about type classes? Or what a monad is? You’re not alone. Here’s what I wish someone would have told me!

источник

12:42пожаловаться

AP

Aleksei (astynax) Pirogov in Elm Lang сообщество разработчиков

Ох уж эти монадные туториалы

источник

12:42пожаловаться

MP

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

voix

Ровно такая же ситуация. Сначала читал и перестал понимать в одном месте. Когда вернулся, продвинулся порядком дальше до следующего момента "ничего не понимаю".

я прочел книжку по элму, плюс минус начал читать elm in action, понял что надо все же почитать про теорию - почитал книжку Профессора с барсуком (выше была) и elm in action пошла гораздо веселее. Когда вернусь обратно в раздел с монадами, думаю еще лучше будет)

источник

12:43пожаловаться

AK

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

Aleksei (astynax) Pirogov

Ох уж эти монадные туториалы

там просто сравнение Elm vs Haskell, никакого туториала

источник

12:44пожаловаться