NT
даже если так то все равно проигрываю
const temp1 = create({ x1: 0 }, {
x1Get1: (v, g) => v.x1,
x1Get2: (v, g) => g.x1Get1(v, g),
});Size: a a a
2020 April 14
РФ
А какой тип у g?
NT
в данном случае unknown
РФ
Странно, unknown очевидно не является подтипом Record
РФ
Ошибок нет?
NT
только то что g не является объектом и поэтому у него не может быть метода x1Get1
РФ
Странно, unknown очевидно не является подтипом Record
Ааа, нет. Здесь g должно быть надтипом T2: если x1Get1 умеет принимать unknown, то всё ок, а вот если умеет принимать только подтип T2, то могла бы быть ошибка в рантайме.
Ура, я научился замечать проблемы с ко/контравариантностью
Ура, я научился замечать проблемы с ко/контравариантностью
EG
А что это, расширение типов?
🦉
А что это, расширение типов?
это генерация кода из типов
VK
И что на выходе бы было?
p
TS не Раст
🦉
И что на выходе бы было?
например, что-то вроде
const SessionCreateSucceeded = {
serialize(value: SessionCreateSucceeded): string { /* */},
deserialize(input: string): SessionCreateSucceeded | DeserializeError { /* */ },
default(): SessionCreateSucceeded {}
}🦉
TS не Раст
И что?
🦉
меня заебало писать тонну кода под тип
🦉
и как я вижу, тс позволяет писать подобные плагины
VK
Конечно посложнее сделать, чем в расте
VK
Например у тебя есть
interface Bar {
foo: Foo
}
Как десереализовать Foo? В расте все просто, должны быть трейты, а тут нужно будет как то искать реализацию для Foo
interface Bar {
foo: Foo
}
Как десереализовать Foo? В расте все просто, должны быть трейты, а тут нужно будет как то искать реализацию для Foo
🦉
Например у тебя есть
interface Bar {
foo: Foo
}
Как десереализовать Foo? В расте все просто, должны быть трейты, а тут нужно будет как то искать реализацию для Foo
interface Bar {
foo: Foo
}
Как десереализовать Foo? В расте все просто, должны быть трейты, а тут нужно будет как то искать реализацию для Foo
я думал искать не реализацию, а через тс выяснить структуру типа
🦉
и для начать с генерации валидаторов объектов
VK
я думал искать не реализацию, а через тс выяснить структуру типа
Ну это тоже гемор, нужно отслеживать всю цепочку импортов и алиасов