@typescript_ru
Дмитрий18.07.2017
13:42:55
13:42:55
Если из Foo extends Bar не следует структурное соответствие Bar
Artur18.07.2017
13:43:04
13:43:04
Ну там где-то мелькало, что No need for any type assertions
Google
andretshurotshka?❄️кде18.07.2017
13:43:56
13:43:56
Давайте начнём с того, что всё сломалось нахрен:
https://github.com/Microsoft/TypeScript/issues/16985
Дмитрий18.07.2017
13:44:16
13:44:16
Весело
andretshurotshka?❄️кде18.07.2017
13:47:02
13:47:02
Какая версия тс?
Artur18.07.2017
13:53:23
13:53:23
Спасибо, ребят
Иногда стоит меньше сомневаться в том, что ты не дурак
https://github.com/Microsoft/TypeScript/issues/16985#issuecomment-316107775
И вроде как действительно оно не бага
Просто костыльное использование
Vladimir18.07.2017
16:21:10
16:21:10
Если бы это работало, то это было бы небезопасно
Так что с точки зрения ТС - наверно бага
Artur18.07.2017
16:22:32
16:22:32
Ну вот ребята утверждают, что это правильное проведение.
Vladimir18.07.2017
16:25:21
16:25:21
Ну так я согласен
GoogleVladimir18.07.2017
16:25:31
16:25:31
Но это не значит, что это не баг
Aleh18.07.2017
16:34:41
16:34:41
Коллеги, вопрос, есть реальная необходимость такого поведения или это бага TS?
export type Foo = {
x: number;
}
export class A<T extends Foo> {
public m: T;
constructor() {
this.m = {x: 1};
}
}
Error:(89, 9) TS2322:Type '{ x: number; }' is not assignable to type 'T'.
const a = new A<DefaultT & WithSomeStrangeMethod>
a.m.someStrangeMethod()Artur18.07.2017
16:35:15
16:35:15
Vladimir18.07.2017
16:37:13
16:37:13
Вполне ошибка нормальная, на мой взгляд
Даже не знаю, что еще можно добавить
Aleh18.07.2017
16:38:04
16:38:04
Коллеги, вопрос, есть реальная необходимость такого поведения или это бага TS?
export type Foo = {
x: number;
}
export class A<T extends Foo> {
public m: T;
constructor() {
this.m = {x: 1};
}
}
Error:(89, 9) TS2322:Type '{ x: number; }' is not assignable to type 'T'.
Т.е. это тоже самое, что:
constructor(m: Foo){
this.m = m
}Vladimir18.07.2017
16:39:23
16:39:23
Да, тоже самое
Aleh18.07.2017
16:40:19
16:40:19
Пока нет
Artur18.07.2017
16:40:46
16:40:46
Разница в том, что на этапе объявления класса мы не знаем, какой тип будет однозначно передан в качестве дженерика, а при передаче литерала в качестве аргумента при создании экземпляра класса мы укажем его явно.
Вот в первом случае, если сделать так:
new A<{x: object}>() явная же ошибка
однако при передаче в качестве аргумента мы знаем точно, что передаем и застрахованы от ошибки
new A<{x: object}>({x: smth})
Max18.07.2017
16:42:54
16:42:54
[ts] Spread types may only be created from object types.
(property) initialData: TData extends object
блин
почему не работает extends object?
Vladimir18.07.2017
16:43:20
16:43:20
Содержимое класса проверяется отдельно для абстрактного T
Так что T мы не знаем никогда
Max18.07.2017
16:43:46
16:43:46
и как это фиксить?
GoogleArtur18.07.2017
16:44:40
16:44:40
Max18.07.2017
16:44:57
16:44:57
Чем тебе не нравится extends {}
[ts] Spread types may only be created from object types.
(property) initialData: TData extends {}Artur18.07.2017
16:45:02
16:45:02
Ну, скажем так, в рамках JS и TS не совсем корректно
Max18.07.2017
16:45:23
16:45:23
ну я же предполагаю что это extends object
Artur18.07.2017
16:45:40
16:45:40
[ts] Spread types may only be created from object types.
(property) initialData: TData extends {}
Не очень понял, в чем вопрос :)Max18.07.2017
16:46:14
16:46:14
в том что генерики со спредами не работаю
и как фиксить
https://github.com/Microsoft/TypeScript/issues/15792
хм
вроде в 2.3.3 обещали починить
хуй
Aleh18.07.2017
16:47:45
16:47:45
[ts] Spread types may only be created from object types.
(property) initialData: TData extends {}
Это проблема, что спред не работает с генерикамиAleh18.07.2017
16:48:32
16:48:32
Я на 2.2 и там точно еще не фиксанули
Max18.07.2017
17:03:11
17:03:11
поставил 2.4 - same
andretshurotshka?❄️кде18.07.2017
17:04:29
17:04:29
Я из-за этого юзаю object.assign
Max18.07.2017
17:07:06
17:07:06
https://github.com/Microsoft/TypeScript/pull/13288
Короче эти пидоры вот этот PR мержат уже херпойми сколько
с января
Object.assign({}, oldProps)?
Googleandretshurotshka?❄️кде18.07.2017
17:10:15
17:10:15
Должен
Max18.07.2017
17:10:20
17:10:20
или то же самое будет что {…spread as any} :)
andretshurotshka?❄️кде18.07.2017
17:10:23
17:10:23
Там intersection же
Max18.07.2017
17:10:52
17:10:52
mkay
Aleh18.07.2017
17:12:24
17:12:24
Ну это проблема отсутствия rest типов
AdminERROR: S client not available
Max18.07.2017
17:13:37
17:13:37
ну вон ПР выше
я подписался
с ассигн пашет
спасибо
НУЖНО БОЛЬШЕ ГЕНЕРИКОВ БОГУ ГЕНЕРИКОВ
Сергей18.07.2017
17:17:54
17:17:54
Пздц
Max18.07.2017
17:18:05
17:18:05
да, с хоками вывод типов ебануться
Дмитрий18.07.2017
17:19:23
17:19:23
?
GoogleMax18.07.2017
17:19:33
17:19:33
ыыыыыыыыы
Дмитрий18.07.2017
17:19:39
17:19:39
Психанул
Max18.07.2017
17:19:40
17:19:40
охуительно
andretshurotshka?❄️кде18.07.2017
17:19:52
17:19:52
Ето xml?
Max18.07.2017
17:20:15
17:20:15
ахахаха
Aleh18.07.2017
17:24:16
17:24:16
Фейсбучеры долго смотрели на генерики и придумали jsx
andretshurotshka?❄️кде18.07.2017
17:24:48
17:24:48
они из es4 украли)
Дмитрий18.07.2017
17:25:00
17:25:00
С параметрами! Джва года ждал
Дмитрий18.07.2017
17:26:27
17:26:27
В jsx? ?? Щас будет ?
Уже есть компонент монады?)
Я кстати нашёл случайно в коде реакта, как они используют opaque types)) Всё банально оказалось ? Тупо переназначение, видимо чтобы импорты менять только в одном местеТочнее, не сами opaque types, у них просто типы там с приставкой Opaque
Aleh18.07.2017
17:28:46
17:28:46
Opaque$Type ?
Дмитрий18.07.2017
17:33:16
17:33:16
https://github.com/facebook/react/blob/8d61138186e79e1e719786c8c76186e64b603bd5/src/renderers/shared/fiber/ReactFiberReconciler.js#L48
Ну и в целом концепция opaque{чего то там} встречается регулярно ?
andretshurotshka?❄️кде18.07.2017
17:34:28
17:34:28
Так это не то
Aleh18.07.2017
17:34:28
17:34:28
Открыть в Telegram