K
@pomadchin лень тесты писать
Size: a a a
2020 May 19
λ
всегда так делаю
Oℕ
в псевдодотте (где разрешены рекурсивные опаки) этот тип будет выглядеть так
эндо
би
эндо
opaque type Bud[+F[+[+_], +_], +A] = F[[r] =>> Bud[F, r], A]
би
opaque type Bud[+F[+[+_, +_],+_, +_], +E, +A] = F[[x, r] =>> Bud[F, x, r], E, A]
K
но я вродь поправил
P
λ
Pavel
не знаю о чем ты
K
@aleksei_t те вообще пр понравился?
K
туп моррис дрочит на камеру и на скале пишет в этот же момент
Oℕ
в скале 2 можно вывернуть +F[+_] на какой-то аналог Has[-F[+_]] и сделать Bud[- X <: Has[Nothing], +E, +A]
λ
Pavel
не знаю о чем ты
Чел, тебя в твите спалили. Не отнекивайся
Oℕ
ну а дальше понятно костылямбро ньютайпо
ZM
Чел, тебя в твите спалили. Не отнекивайся
и Сабина
K
Чел, тебя в твите спалили. Не отнекивайся
сча тя спалят
ZM
в скале 2 можно вывернуть +F[+_] на какой-то аналог Has[-F[+_]] и сделать Bud[- X <: Has[Nothing], +E, +A]
почему Bud?
P
Чел, тебя в твите спалили. Не отнекивайся
меня учили не хвастаться
ᛒ
какой прекрасный день покодить с Павлом