Oℕ
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
450 membersпожаловаться на группу
2019 December 25
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
хочу нести вэлью с помощью этого
Невозможно...
Oℕ
если есть какой то
trait Nasty[F[_]]{
def fuckA](x: Fuck): F[A]
def unfuck[A](fa: F[A])(Fuck => A): F[A]
}Oℕ
в общем любой рекурсивный модуль
A
@arsen а я тебе нравлюсь?
очень
Oℕ
где есть F с правой стороны
Oℕ
можно его написать вместо этого так
Oℕ
trait NastyP[I[_], O[_]]{
def fuckA](x: Fuck): O[A]
def unfuck[A](fa: I[A])(Fuck => A): O[A]
}Oℕ
и потом Nasty[F[_]] = NastyP[F, F]
Oℕ
для NastyP можно получить инстанс ProCorepresentableK[NastyP]
Oℕ
чтобы меньше подчёркиваний
Oℕ
для NastyP можно получить инстанс ProCorepresentableK[NastyP]
который даст возможность независимо друг отдруга обрабатывать F в левой и правой части и получить много хороших бесплатных инстансов
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Так империю вэлью не построить...
w
welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Kirill Shelopugin
Так империю вэлью не построить...
А туз готов?
Oℕ
тот же Embed, InvariantK
ᛒ
если есть какой то
trait Nasty[F[_]]{
def fuckA](x: Fuck): F[A]
def unfuck[A](fa: F[A])(Fuck => A): F[A]
}F[_] : Unfuck