Oℕ
ну и понял, что нужно что-то вроде traverse
Чтобы можно было взять
LIstP[Sum, Sum] и превратить его в ListP[Eval[Sum], Eval[Sum]]
Size: a a a
2019 December 27
Oℕ
так и родился этот ProTraverse
Oℕ
т.е. вместо того чтобы описывать структуру данных типа
ты пишешь
тогда если реализуешь ProTraverse[FooP] твои возможности безграничны
sealed trait Foo
case class Bar(x: Int, left: Foo, right: Foo) extends Foo
case object Baz extends Foo
ты пишешь
trait FooP[-A, +B]{
def bar(x: Int, left: A, right: A): B
def baz: B
}
type Foo = Layer[FooP]тогда если реализуешь ProTraverse[FooP] твои возможности безграничны
но в общем можно сказать что если бы ты пошёл по классическому пути рексхем тут было бы
sealed trait FooF[+A]
case class BarF[+A](x: Int, left: A, right: A) extends Foo[A]
case object BazF extends FooF
[Nothing]
тогда этот FooP[A, B] то ни что иное как FooF[A] => BOℕ
собственно, этот факт я и используя требуя копредставимость
Oℕ
только мне не нужно специального АДТ для этого, как в хошкеле, потому что я могу выразить его через
RepOℕ
из профункторности автоматически следует функторность этого Rep
Oℕ
ну а вот дальше уже нужен траверсал хотя бы в таком ослабленном виде
Oℕ
KS
ахуена
Oℕ
Kirill Shelopugin
ахуена
блат
Oℕ
Дегуз ошибался
KS
Да не
KS
Оно всё так же в репозитории своем же
KS
Я уж хз почему оно так называется в гитхубе, наверное авасил просто скопировал
C
typeclass Traverse
Не, ну это бан
(
чтобы FreeCategory была подтипов FreeArrow и одновременно FreeSMC
О, кстати