R:
Функторы тоже условные, ибо свой map для всех костыляют
Size: a a a
2019 October 22
AK
В Elm нет монад, насколько я знаю
О_о а почему Maybe не монада?
YK
О_о а почему Maybe не монада?
Вот да
R:
О_о а почему Maybe не монада?
Я говорю конкретно про Elm
R:
Оно должно удовлетворять монаидическим законам
YK
Ну так ведь в elm есть Maybe, Just и другие радости ФП.
YK
Я, короче, не в теме похоже)
R:
Ну, возможность использовать что-то типа Maybe это спасибо такой штуке как ADT
AK
Монады через
andThen, функторы через map, для каждого инстанса своя функция, потому что тайпклассов нетAK
и всё вроде бы
YK
Парни(и конечно дамы, если есть), можете кто-нибудь скинуть ссылки на адекватные на ваш взгляд объяснения монад и других штук?
Я вот их вроде бы понимаю, но вроде бы и нет.
Я вот их вроде бы понимаю, но вроде бы и нет.
AP
В Elm нельзя обобщённый монадический код писать. А реализовать поведение можно, конечно.
AP
sequence : List (m a) -> m (List a) — такое уже не написатьAP
Чтобы оно работало для любых "монадненьких" типов
И для Random чтобы работало (вот прям нужно было несколько раз)
[Just 42, Just 0] -> Just [42, 0]
[Success "foo", Success "bar"] -> Success ["foo", "bar"]И для Random чтобы работало (вот прям нужно было несколько раз)
🤔
Парни(и конечно дамы, если есть), можете кто-нибудь скинуть ссылки на адекватные на ваш взгляд объяснения монад и других штук?
Я вот их вроде бы понимаю, но вроде бы и нет.
Я вот их вроде бы понимаю, но вроде бы и нет.
+
AP
Книжка Милевского "ТК для программистов"
AP
Она с картинками и тонкая :)
YK
Я находил вот такую и она очень простая вроде бы и понятная, но на определённом моменте я понял, что упёрся в стену.
https://mostly-adequate.gitbooks.io/mostly-adequate-guide/
https://mostly-adequate.gitbooks.io/mostly-adequate-guide/
AR
Watch "Artem Kobzar - "True" functional programming with JS" on YouTube
https://youtu.be/XCY0MWor_jw
https://youtu.be/XCY0MWor_jw
AP
Ох, дичи накидали опять...