Oℕ
NonEmptyList.extract = head
Size: a a a
2020 January 03
Oℕ
вот вы и получаете
Oℕ
Python
Почему
Это произвольно выбранное поведение (для удобства?) или у варианта где head перебирается какие-то законы не выполняются?
NonEmptyList(1, 2, 3).coflatten = NonEmptyList(NonEmptyList(1, 2, 3), NonEmptyList(2, 3), NonEmptyList(3)), а не, например NonEmptyList(NonEmptyList(1), NonEmptyList(2), NonEmptyList(3))?Это произвольно выбранное поведение (для удобства?) или у варианта где head перебирается какие-то законы не выполняются?
это противоречит
extract • coflatten = identity
extract • coflatten = identity
Oℕ
Python
Почему
Это произвольно выбранное поведение (для удобства?) или у варианта где head перебирается какие-то законы не выполняются?
NonEmptyList(1, 2, 3).coflatten = NonEmptyList(NonEmptyList(1, 2, 3), NonEmptyList(2, 3), NonEmptyList(3)), а не, например NonEmptyList(NonEmptyList(1), NonEmptyList(2), NonEmptyList(3))?Это произвольно выбранное поведение (для удобства?) или у варианта где head перебирается какие-то законы не выполняются?
Кажется странным, но возможно, что можно сделать так
NEL(1, 2, 3).coflatten == NEL (NEL(1,2,3),NEL(2),NEL(3))
Я в голове прикинул и не вижу, каким законам это противоречит
NEL(1, 2, 3).coflatten == NEL (NEL(1,2,3),NEL(2),NEL(3))
Я в голове прикинул и не вижу, каким законам это противоречит
Oℕ
Ещё одна довольно известная комонада выглядит так
NEL(1, 2, 3). coflatten == NEL(NEL(1, 2, 3), NEL(2, 3, 1), NEL(3, 1, 2))
NEL(1, 2, 3). coflatten == NEL(NEL(1, 2, 3), NEL(2, 3, 1), NEL(3, 1, 2))
Oℕ
Текущий NEL - это Cofree[Option]
P
это противоречит
extract • coflatten = identity
extract • coflatten = identity
🙇
2020 January 04
P
допустим вы начинаете новый мультимилиардный стартап, что вы выберете сегодня: ТФ или какой-то определенный эффект? если второе, то какой и почему?
Б
Pavel
допустим вы начинаете новый мультимилиардный стартап, что вы выберете сегодня: ТФ или какой-то определенный эффект? если второе, то какой и почему?
спринг
.
Pavel
допустим вы начинаете новый мультимилиардный стартап, что вы выберете сегодня: ТФ или какой-то определенный эффект? если второе, то какой и почему?
спринг или джава ее
P
а если снизить требования до мультимилионного?
Б
дистейдж и тофу
P
дистейдж и тофу
дистейдж не отвечает на вопрос тф или зио, например
NV
Pavel
допустим вы начинаете новый мультимилиардный стартап, что вы выберете сегодня: ТФ или какой-то определенный эффект? если второе, то какой и почему?
ТФ
Б
Pavel
дистейдж не отвечает на вопрос тф или зио, например
но ведь тофу отвечает
P
но ведь тофу отвечает
а я про тофу ничего не сказал
P
а почему? а как же дегоз с его доводами не писать ТФ?
NV
Pavel
а почему? а как же дегоз с его доводами не писать ТФ?
Какими доводами?
P
P
что абстракция такого уровня это overengineering, проблемы с concurrent и sync и тд