DS
Я не считаю, что очень уж нужна вся эта абстрактная алгебра ради того, чтобы применить пару чёртовых функций к чёртовой тупле
Если было бы просто применение функций к тапле, то на выходе было бы (Some(1), Some(2)), а не Some((1, 2))
Size: a a a
2020 March 12
Dv
Ну и правильно я туда не полез, тут даже пытаются что-то объяснить, но понятнее от этого не становится.
DS
Тут суть в том, что у нас такой F[A, B], что для него можно F[G[A], G[B]] переделать в G[F[A, B]]
Dv
Программирование превращают в чернокнижие
Dv
Но на самом деле да, cats выглядит намного симпатичнее, чем zio.
Dv
Я согласен, что относился к этой либе значительно хуже, чем она заслуживает.
Dv
Тут суть в том, что у нас такой F[A, B], что для него можно F[G[A], G[B]] переделать в G[F[A, B]]
Я понял это из примера.
Dv
Но на самом деле да, cats выглядит намного симпатичнее, чем zio.
И я всё ещё надеюсь, что мне не придётся иметь дел с кодом, который на всё это опирается.
V
Ну это недорого
Курсеровские стоят столько же или дороже
Курсеровские стоят столько же или дороже
Это дорого, если на то чтобы стать джуном ты ни копейки не потратил
DS
И я всё ещё надеюсь, что мне не придётся иметь дел с кодом, который на всё это опирается.
Всякая эзотерика из котов используется достаточно редко. То есть активного использования всяких контрвариантных функторов я даже в библиотечном коде не встречал
Dv
Всякая эзотерика из котов используется достаточно редко. То есть активного использования всяких контрвариантных функторов я даже в библиотечном коде не встречал
Но примеров нормального кода всё ещё не приводишь.
Dv
Это очень удобная позиция.
V
Т-34 85
Любители ФП жалуются, что Scala если и можно завезти под дотнет, то профит последнего теряется. А норм фп для дотнета пока нет
Ну типа "вам шашечки или ехать"?
И гарбаге коллектор можно на си засунуть, но профит ручного управления теряется
И гарбаге коллектор можно на си засунуть, но профит ручного управления теряется
Dv
Про любые недостатки, которые я указываю, ты можешь сказать, что или так нужно, или это не используется, или ещё какое-нибудь оправдание
Dv
Единственный пример аппки на cats, который я нашёл, выглядит как херня: https://alvinalexander.com/scala/cats-io-monad-sbt-example-app
Dv
_ <- IO { println("Welcome to Scala! What's your name?") }Dv
Полный срам
V
Интересно, а как компилировался J#? Он использовал наши дотнетные генерики или нет?
По-моему, тогда женериков в дотнете ещё не было
Dv
По-моему, тогда женериков в дотнете ещё не было
Хм, хороший поинт.
DS
Полный срам
А в чём проблема-то? В хаскеле IO тоже смущает?