AN
а чо дальше делать?
тайпклассы в тс это
function foo(instance: any, trait: any) {
trait.do_some(instance);
}
Size: a a a
2021 April 23
SP
да но их можно типизировать в целом
SP
ну это конечно смешно. ты возишь вместе с данными структурку с кодом
DS
Ну принципиально именно тайпклассы так и работают
SP
щас я попробую её сунуть в сам обьект и изобрету своё опепе
DS
(В хаскеле, вопрос в том, что оно пробрасывается за тебе и инлайнится при специализации)\
p
так и происходит
p
в расте ты тоже именно так и передаешь
p
foo<T: Trait>(t: T)
SP
в расте оно само
p
здесь ты передаешь инстанс тайпкласса Trait
p
T: Trait
SP
в скале вот не само, но есть имплисит который почти само
SP
да это не инстанс тайпкласса, это сам тайпкласс
AN
так в жс-е тоже само. просто не тайпчекается
SP
инстанс это именно impl для T
p
инстанс
p
инстанс T тайпкласса Trait
SP
инстанс был бы если бы ты литералли получал аргументом
foo(obj:T, inst: Trait<T>)
foo(obj:T, inst: Trait<T>)