V
👮 Please, speak clearly, I couldn't recognize that
Size: a a a
2021 February 08
ZM
так надо было версию с лучистыми глазами
V
так надо было версию с лучистыми глазами
он там лицо плохо распознал
V
надо на светлой версии глаза лучистыми делать
V
V
👮 Please, speak clearly, I couldn't recognize that
ZM
V
дада, об этом же думал
λ
@odomontois при патматче гадтов в скале3 можно как-то в явном виде извлечь какой-нибудь эвиденс на равенство типов?
Oℕ
@odomontois при патматче гадтов в скале3 можно как-то в явном виде извлечь какой-нибудь эвиденс на равенство типов?
да, имплиситно можно потребовать.
я сейчас только припоминаю как матчил вариантные, поэтому эвиденсы на субтайпинг требовал, но они подтягивались
это если ты про type-bindings
я сейчас только припоминаю как матчил вариантные, поэтому эвиденсы на субтайпинг требовал, но они подтягивались
это если ты про type-bindings
Oℕ
неприятно
V
неприятно
а с лучами?
V
RT-версия
λ
Надо забиндить тайп-параметр конструктора и потом можно требовать типа the[a =:= String] справа от стрелки => ?
λ
Вот только как это сделать?
w
Вот только как это сделать?
Эх, сча бы сделать
Oℕ
Надо забиндить тайп-параметр конструктора и потом можно требовать типа the[a =:= String] справа от стрелки => ?
да, summon только
Oℕ
ну и попробуй <:< сначала
AN
Сцуко, вчера апнул дуги в брекетах и миркоимплант вкрутил. Мне кажется у меня столько зубов разом не болело никогда в жизни