𝛈µ
Монада не контейнер. Higher kinded type контейнер
type A[F[+_, -_]] = Nothing
Size: a a a
2020 August 02
𝛈µ
Хорош контейнер
AD
Монада не контейнер. Higher kinded type контейнер
Я уже написал что контейнер, но не в привычном смысле этой фразы
VE
Монада это то общее что есть и у списка, у опшена, у Either, Io и так далее, относитесь пока к этому просто как к интерфейсу Flatmappable, на практике мб станет понятнее мотивация
𝛈µ
Монада это то общее что есть и у списка, у опшена, у Either, Io и так далее, относитесь пока к этому просто как к интерфейсу Flatmappable, на практике мб станет понятнее мотивация
Нормальная интуиция
VK
Я б сказал что монада - построитель. Builder. С помощью "контейнера"
𝛈µ
Построитель чего?
EB
Ам как бы тебе сказать, зачем тогда спринг аоп, анотации, ломбоки и прочее?
я Бугаенко читал, он пишет что это от лукавого, тру-джависты плодят классы
VK
Построитель программной логики с учётом эффекта
AD
я Бугаенко читал, он пишет что это от лукавого, тру-джависты плодят классы
Больше слушай его, тру не существует вообще
𝛈µ
Построитель программной логики с учётом эффекта
Ты хочешь сказать - индиректный способ строить контролфлоу?
𝛈µ
Позволяющий вносить дополнительные аспекты?
AD
Построитель программной логики с учётом эффекта
AD
Где тут построение программы?
AD
Тут есть пачка объектов
𝛈µ
VE
Пока выглядит всё как слон и философы
VE
Торгают его с разных сторон
AD
Так и есть
VK
Где тут построение программы?
Я же на пальцах объясняю, а не в терминах теории категорий.