Телеграмм чат группы scala

Почему NonEmptyList(1, 2, 3).coflatten = NonEmptyList(NonEmptyList(1, 2, 3), NonEmptyList(2, 3), NonEmptyList(3)), а не, например NonEmptyList(NonEmptyList(1), NonEmptyList(2), NonEmptyList(3))?

Это произвольно выбранное поведение (для удобства?) или у варианта где head перебирается какие-то законы не выполняются?

источник

15:58пожаловаться #13

λoλcat in Scala User Group

Python

Комонадная коалгебра вам что-нибудь говорит?

источник

16:17пожаловаться #14

Python in Scala User Group

λoλcat

Комонадная коалгебра вам что-нибудь говорит?

Говорит, но это мне никак не помогает.

источник

16:29пожаловаться #15

Python in Scala User Group

Я так понимаю монад для NonEmptyList работает с категорией у которой домен T, а кодомен F[T]. Ну а комонад такой же монад, но на категории F[T] -> T.

Сходу не могу понять чем возвращение NonEmptyList.of(x) для всех элементов списка хуже чем возвращение хвостов. Вроде и ассоциативность на месте, и всё такое. Наверное что-то упускаю.

источник

16:34пожаловаться #16

λoλcat in Scala User Group

А вроде бы и законов комонады уже достаточно, чтобы такой duplicate получить

источник

16:51пожаловаться #17

λoλcat in Scala User Group

Могу ошибаться, и может быть путаю причину со следвствием, но если рассматривать коалгебры генераторы листов, то второй закон коалгебры:
duplicate . coalg = fmap coalg . coalg
прямо говорит как выглядит результат дупликейта.

источник

17:02пожаловаться #18

Oℕ

Oleg ℕizhnik in Scala User Group

λoλcat

А вроде бы и законов комонады уже достаточно, чтобы такой duplicate получить

this

источник

17:27пожаловаться #19

Oℕ

Oleg ℕizhnik in Scala User Group

fmap extract. coflatten = id

источник

17:27пожаловаться #20