US
Определи контейнер
тот, который имеют в виду, при создании интуиции для монад
Size: a a a
2020 August 02
VE
Contain - содержать
AD
тот, который имеют в виду, при создании интуиции для монад
Не понял
VE
То есть контейнер внутри себя заключает что-то
US
я вот тоже
US
поэтому и спросил
AD
Что то в чем то? Почему это тогда не множество?
𝛈µ
sealed trait List[A]
case class EmptyList[A]() extends List[A]
case class Cons[A](head: A, tail: List[A]) extends List[A]
case class EmptyList[A]() extends List[A]
case class Cons[A](head: A, tail: List[A]) extends List[A]
𝛈µ
Это понятный код, ясно, что и куда.
𝛈µ
А монада несет за собой какой-то набор матаппарата. Зачем он мне? Я же из базы данные тащу, там два типа, либо пусто, либо что-то есть, вот trait
US
sealed trait UserList
case class EmptyList extend UserList
case class ActualList extend UserList
def fetchUserList(): UserList
Это понятный код, ясно что и куда. А монада несет за собой какой-то набор матаппарата. Зачем он мне? Я же из базы данные тащу, там два типа, либо пусто, либо что-то есть, вот trait
ну тут такое дело, ты придумал адхочный опшн
AD
sealed trait List[A]
case class EmptyList[A]() extends List[A]
case class Cons[A](head: A, tail: List[A]) extends List[A]
case class EmptyList[A]() extends List[A]
case class Cons[A](head: A, tail: List[A]) extends List[A]
case object EmptyList extends UserList[Nothing]
𝛈µ
case object EmptyList extends UserList[Nothing]
опустим для наглядности
AD
sealed trait UserList
case class EmptyList extend UserList
case class ActualList extend UserList
def fetchUserList(): UserList
Это понятный код, ясно что и куда. А монада несет за собой какой-то набор матаппарата. Зачем он мне? Я же из базы данные тащу, там два типа, либо пусто, либо что-то есть, вот trait
У тебя такого когда в проекте накопится 100500 штук, ты захочешь это отдраить
AD
Монадки удобно
𝛈µ
Зачем-зачем. Затем, к примеру, чтобы единообразно строить цепочки трансформаций
EB
пацаны в джаве так с 95го года живут и не жалуются
𝛈µ
Самый дурацкий, но валидный ответ
VK
Монадки удобно
Монада не контейнер. Higher kinded type контейнер
AD
пацаны в джаве так с 95го года живут и не жалуются
Ам как бы тебе сказать, зачем тогда спринг аоп, анотации, ломбоки и прочее?