надо на идрис портануть

о там будет грамота

правда без экстенсиональности мало чего докажешь, но можно постулировать

Упускаю что-то... монаду нельзя рассматривать как объект с flatmap как морфизм?

ну это эндофунктор т.е. конструктор типа + 2 морфизма

Монада - конструктор типа? Ок, а результат работы конструктора - это обеъект?

Монада - конструктор типа? Ок, а результат работы конструктора - это обеъект?

не только конструктор типа, еще и два морфизма, плюс это не любые [ конструктор типа и два морфизма ]

не только конструктор типа, еще и два морфизма, плюс это не любые [ конструктор типа и два морфизма ]

Монада это моноид в категории эндофунктороа

это было неизбежно

не только конструктор типа, еще и два морфизма, плюс это не любые [ конструктор типа и два морфизма ]

Функтор - морфизм между категориями

это было неизбежно

Морфизм - стрелка, может быть любым отношением между объектами категории или категориями

А это реально нужно знать, чтобы использовать flatMap() ?

))

А это реально нужно знать, чтобы использовать flatMap() ?

Да

Зачем?

Чтобы эффективно использовать

мне кажется это чаще используют чтобы эффективно запугивать

ну других использований не наблюдал

мне кажется это чаще используют чтобы эффективно запугивать

Ну типа монад трансформеры, композиция функторов, аппликативы и вот это всё

Проще понять если знать что и откуда

ну других использований не наблюдал

Это если не считать того, что подобная математика сама по себе интересна

Это же о том как люди думают

Вот эти все изоморфизмы карри-говарда-ламбека

Люди в разных степях открывают одинаковые вещи

Круто же ну

да ну, скукатища

да ну, скукатища

Окей

да ну, скукатища

На вкус и цвет

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

У меня есть блог, там что-то есть

Вроде понятно

“Функторы” https://medium.com/@gubinrobert/%D1%84%D1%83%D0%BD%D0%BA%D1%82%D0%BE%D1%80%D1%8B-f9f826539a0d

давайте ссылку, почитаем. можно ещё её в профиле прописать, в поле Bio

Ну композиция и так понятно же

Проще понять если знать что и откуда

А можно пример? Когда это знание поможет

А можно пример? Когда это знание поможет

Robert: Ну типа монад трансформеры, композиция функторов, аппликативы и вот это всё

Это все применяется плстоянно

Не, пример кода в смысле

В блог, там есть

давайте ссылку, почитаем. можно ещё её в профиле прописать, в поле Bio

Хорошая идея, спасибо

Ну я скала коллекции, futures, actors без этого знания применяю, либо оно достигнуто эмпирически

Ну я скала коллекции, futures, actors без этого знания применяю, либо оно достигнуто эмпирически

В этом проблема, идти от частного к общему - большой простор для ошибочных обобщений

Ну я скала коллекции, futures, actors без этого знания применяю, либо оно достигнуто эмпирически

Футуры и акторы - поскрести вершину айсберга

Ну вот в блоге там не из реальной жизни пример

Ну вот в блоге там не из реальной жизни пример

Какой из примеров смотрите и какой хотелось бы? Это повод для улучшения качества блога

=)

Ну по ссылке вашей)

Там пара примеров функторов

Всё так, но смысл поста был в том чтобы разобрать нутря функтора

Я не говорю, что это все не нужно, связи с реальным кодом просто не чувствую

Ок, разобрали, а как применить это знание?)

У вас когда-нибудь было Future[Either[Error, List[User]]]?

Ага

Чудовищно

Вот, вместо того чтобы делать вложенные мапы флэтмапв

Можно использовать монад трансформеры

Или композицию функторов

И это нормальная ситуация когда подобный жирный тип

Можно пример?)

Можно использовать монад трансформеры

хрен редьки не слаще

У вас когда-нибудь было Future[Either[Error, List[User]]]?

А что делать когда есть Future[Option[List[User]]] а нужно Option[Future[List[User]]]

Можно пример?)

https://typelevel.org/cats/datatypes/eithert.html

А что делать когда есть Future[Option[List[User]]] а нужно Option[Future[List[User]]]

traverse/sequence

https://typelevel.org/cats/datatypes/eithert.html

Спасибо

Спасибо

Не за что, обращайтесь

traverse/sequence

Возможно я уже плохо соображаю но кажется не поможет

ERROR: S client not available

А что делать когда есть Future[Option[List[User]]] а нужно Option[Future[List[User]]]

но тут голяк энивей

в этом случае да

если такое значит беда в архитектуре

но тут голяк энивей

А если пересесть на Eff монады ?

на героин лучше

tagless

Кажется где-то должна быть черта абстрагироваться за которую опасно для здоровья

https://www.beyondthelines.net/programming/introduction-to-tagless-final/

ну фри монады ок

но лысый на них ругается

не просто так конечно

фри аппликативы там все дела

Кажется где-то должна быть черта абстрагироваться за которую опасно для здоровья

How many layers of abstraction are you on ?

фри аппликативы там все дела

Тоже такое, не для всего и не всегда, если честно ни разу не довелось в проде использовать

с них же как я помню весь фри хайп начался

потом монады

а потом опа, life after free

Взрывы стека и вот это всё

Хотя эти же проблемы все решили +-

https://youtu.be/A-lmrvsUi2Y

https://youtu.be/A-lmrvsUi2Y

Спасибо, посмотрю =)

ща слайды еще найду

https://www.slideshare.net/jdegoes/postfree-life-after-free-monads

А что делать когда есть Future[Option[List[User]]] а нужно Option[Future[List[User]]]

т.е. от " В некотором будущем (возможно уже сейчас - но это не точно) будет информация о том, будет ли у нас список пользователей или нет " перейти прямо сейчас к " прямо сейчас мы хотим знать будет ли у нас список в некотором будущем или нам нет смысла ждать этого будущего, потому что и так понятно, что ничего не светит " (это конечно слегка упрощенно и без указания различных нюансов. например что ожидание значения может завершиться неудачей и т.д. и т.п. ) ... мне кажется, что можно джуном к синьору за еду напроситься, чтобы тебе подробнее обьяснил, что не так с подобными желаниями)

https://www.slideshare.net/jdegoes/postfree-life-after-free-monads

Спасибо)

т.е. от " В некотором будущем (возможно уже сейчас - но это не точно) будет информация о том, будет ли у нас список пользователей или нет " перейти прямо сейчас к " прямо сейчас мы хотим знать будет ли у нас список в некотором будущем или нам нет смысла ждать этого будущего, потому что и так понятно, что ничего не светит " (это конечно слегка упрощенно и без указания различных нюансов. например что ожидание значения может завершиться неудачей и т.д. и т.п. ) ... мне кажется, что можно джуном к синьору за еду напроситься, чтобы тебе подробнее обьяснил, что не так с подобными желаниями)

думаю тут был акцент не на Future

Точно, просто хотел акцентировать внимание на порядке вложения монад.

думаю тут был акцент не на Future

и ты думаешь, что это сильно что-то меняет? нисколько. именно этот пример очень хорошо показывает, что порядок вложения монад можно изменить далеко не всегда.

ну зачем куда-то посылать. объясните сами)

https://www.slideshare.net/jdegoes/postfree-life-after-free-monads

блин, а какого хрена slideshare то зобанен?

linkedin потому что

linkedin