VE
Серая недотыкомка там
Size: a a a
2020 August 02
VE
Интерпретирует ваши вычисления
AD
для меня капец непонятно зачем нам Int засовывать в IO в твоей терминологии
IO[Either[RepositoryError, List[User]]] лучше?
𝛈µ
Option[Int] - это коробка, в которой лежит Int и котик. Сунули руку - может достали Int, а может котик за палец укусил. Логично? Логично.
EB
окей, но в обоих случаях мы можем обойтись и без монад только ADT
US
окей, но в обоих случаях мы можем обойтись и без монад только ADT
но ето не удобно
US
всё равно то же самое сделаешь
VE
Монады в общем не «нужны», с ними оказалось удобно композировать некоторые функции
𝛈µ
окей, но в обоих случаях мы можем обойтись и без монад только ADT
Я не понимаю, что мешает адт быть монадой
AD
Но в какой нибудь херне типа Ref или STM неконтейнерная часть важнее контейнерной
AD
Настолько что контейнерная часть там ограничивается в t:T
𝛈µ
Поэтому всю эту историю с коровкой и используют для формирования какой-то начальной интуиции
AD
Меня она только запутывает
AD
Почему если лист это монада, то ридер это тоже монада, хотя оно не особо контейнер
VE
Это же абстракция, выделение общих свойств разных сущностей, монада это что угодно что удовлетворяет законам, это позволяет с ними работать одинаково
EB
sealed trait UserList
case class EmptyList extend UserList
case class ActualList extend UserList
def fetchUserList(): UserList
Это понятный код, ясно что и куда. А монада несет за собой какой-то набор матаппарата. Зачем он мне? Я же из базы данные тащу, там два типа, либо пусто, либо что-то есть, вот trait
US
Почему если лист это монада, то ридер это тоже монада, хотя оно не особо контейнер
мне больше не понятно, почему List - контейнер. Ну т.е. Option одно значение содержит, а List много и разных
AD
Если бы мне сразу сунули в определение а потом показали примеры конфузии было бы меньше
AD
мне больше не понятно, почему List - контейнер. Ну т.е. Option одно значение содержит, а List много и разных
Определи контейнер
VE
мне больше не понятно, почему List - контейнер. Ну т.е. Option одно значение содержит, а List много и разных
Контейнер с рыбой может содержать много рыб