здесь я показал оба случая https://goo.gl/YsrmGa

мне кажется он там свалился в рекурсию

и выкинул any

укажи T в чем проблема

в том что типы лень писать

можно сказать спасибо тсу хоть что то вывел

хотя T должен быть undefined в этом случае

в том что типы лень писать

Писать не лень, поддерживать западло) Фактически каждый эксплиситно заданный тип вроде new Bar<T>() это очередное место которое нужно менять при рефакторинге

Так как вместо вывода типа происходит каст, который совпадает с логикой работы программы лишь до поры до времени

... бла бла бла ... тс ... бла бла ... юзайте флоу

Заметьте, я ни слова об этом не сказал

"но ход ваших мыслей мне нравится"

я чувствую что к этому пришло бы

че за прикол)

так можно что ли

Эээ это же не валидно скорее всего

не падает

Лоол

Bar<T = ???> U is not defined в данный момент

эт где

У тебя, по логике

minimal complete definition?)

а по тс

?

а в playground нету conditional?

блин, а так все работает https://www.typescriptlang.org/play/index.html#src=interface%20IFooOptions%3CK%20extends%20string%3E%20%7B%0A%20%20name%3F%3A%20string%3B%0A%20%20value%3F%3A%20number%3B%0A%20%20fn%3F%3A%20(otherFoos%3A%20%7B%5Bkey%20in%20K%5D%3A%20string%20%7D)%20%3D%3E%20void%3B%0A%7D%0A%0Aclass%20Bar%3CT%3E%20%7B%0A%20%20t%3A%20%7B%5Bkey%20in%20keyof%20T%5D%3A%20IFooOptions%3Ckeyof%20T%3E%20%7D%0A%20%20constructor(foos%3A%20%7B%5Bkey%20in%20keyof%20T%5D%3A%20IFooOptions%3Ckeyof%20T%3E%20%7D)%20%7B%0A%20%20%20%20%2F%2F%20...%0A%20%20%7D%0A%7D%0A%0A%2F%2F%20%D0%97%D0%B4%D0%B5%D1%81%D1%8C%20%D1%82%D0%B8%D0%BF%20otherFoos%20%D0%BD%D0%B5%20%D0%B2%D1%8B%D0%B2%D0%B5%D0%B4%D0%B5%D0%BD%2C%20%D1%85%D0%BE%D1%82%D1%8F%20%D1%82%D0%B8%D0%BF%20fn%20%D0%B2%D1%8B%D0%B2%D0%B5%D0%B4%D0%B5%D0%BD%20%D0%BF%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D1%8C%D0%BD%D0%BE%0Aconst%20bar%20%3D%20new%20Bar(%7B%0A%20%20fisrtFoo%3A%20%7B%0A%20%20%20%20name%3A%20%22john%22%2C%0A%20%20%20%20value%3A%203%0A%20%20%7D%2C%0A%20%20secondFoo%3A%20%7B%0A%20%20%20%20name%3A%20'sandra'%2C%0A%20%20%20%20fn%3A%20otherFoos%20%3D%3E%20%7B%0A%20%20%20%20%20%20otherFoos.nonexist%20%3D%202%0A%20%20%20%20%7D%0A%20%20%7D%0A%7D)%3B%0A%0Aconst%20myFooObj%3A%20typeof%20bar.t%20%3D%20%7B%0A%20%20fisrtFoo%3A%20%7B%0A%20%20%20%20name%3A%20%22john%22%2C%0A%20%20%20%20value%3A%203%0A%20%20%7D%2C%0A%20%20secondFoo%3A%20%7B%0A%20%20%20%20name%3A%20'sandra'%2C%0A%20%20%20%20fn%3A%20otherFoos%20%3D%3E%20%7B%0A%20%20%20%20%20%20otherFoos.nonexist%20%3D%202%0A%20%20%20%20%7D%0A%20%20%7D%0A%7D

походу баг в ТС

лол

он не может одновременно выводить оттуда

и одновременно писать

походу

А что с ними не так (простите за глупый вопрос)?

А что с ними не так (простите за глупый вопрос)?

Ну вот всё что выше так или иначе является проблемой с контрвариантами, условно говоря с контрактами на входе

тревога красный уровень

Что за сексизм? Вдруг девочка на каком-нибудь сишарпе пишет?

а 923 это дата рождения?

Что за сексизм? Вдруг девочка на каком-нибудь сишарпе пишет?

я и тебе не верю

ладно бы это было во флоу чате...)

я и тебе не верю

Релакс, я толстый бородатый программист, который притворяется девочкой, чтобы охотнее на глупые вопросы отвечали ))

В TypeScript 2.8 появится новый keyword,"infer". Кто-нибудь понял до конца,что он делает? Я так понял,что он возвращает тип generic переменной

В TypeScript 2.8 появится новый keyword,"infer". Кто-нибудь понял до конца,что он делает? Я так понял,что он возвращает тип generic переменной

Выводит тип же

Выводит тип же

А есть ли pull request, или issue, для этой штуки? Я б прочитал

А есть ли pull request, или issue, для этой штуки? Я б прочитал

https://github.com/Microsoft/TypeScript/pull/21496

Правда, я пока не понял, чо оно делает.

По идее должно работать и без этого параметра

Но это вам не флоу

https://github.com/Microsoft/TypeScript/pull/21496

Чотко. Спасибочки

Кажись, оно в типовыражении объявляет именованный плейсхолдер, и ты дальше можешь типом из этого плейсхолдера пользоваться

Это создание нового типа, кое значение зависит от контекста.

Вот у него в примере T extends (...args: any[]) => infer R — это вводит типопеременную R, так?

Вот у него в примере T extends (...args: any[]) => infer R — это вводит типопеременную R, так?

Смотрит на T

И возвращаемое значение функции

ERROR: S client not available

Помешает его тип в R

Ок, я так и понял.

А есть ли pull request, или issue, для этой штуки? Я б прочитал

Полно, если честно, я на штуки 3 подписан ?

Unblock Blockchain Hackathon! В апреля пройдёт хакатон для разработчиков ПО, backend-разработчиков, frontend-разработчиков и ПО-аналитиков. Ценные призы, реальные задачи, нетворкинг, возможность проявить себя - https://binarydistrict.com/ru/courses/blockchain-hackathon/

interface A { <A>(opts: [A]): A <A, B>(opts: [A, B]): A & B <A, B, C>(opts: [A, B, C]): A & B & C } Есть способы как-то такие вещи сократить?

А то когда в массиве может быть десяток элементов, и на каждый - по три дженерик-параметра, какой-то ад получается

Вроде нет

interface A { <A>(opts: [A]): A <A, B>(opts: [A, B]): A & B <A, B, C>(opts: [A, B, C]): A & B & C } Есть способы как-то такие вещи сократить?

если разный тип аргументов, то иначе никак, поэтому в некритичный случаях произвольные аргументы (...args) => doSmth(...args) можно так и оставлять, как any

критичный случай)

критичный случай)

https://github.com/reactjs/reselect/blob/master/src/index.d.ts#L277 меня такие вещи в ужас приводят)

да

в тайпингах рамды, например, та же дичь происходит

В скале тоже самое кстати

У меня в итоге сократилось до чего-то типа такого type T = <A, B, C, Combo extends A & B & C>(opts: [A] | [A, B] | [A, B, C]) => Combo

Генерить где-нибудь в бэкграунде, я хз. Способов порешать это в автоматическом режиме я не нашёл

У меня в итоге сократилось до чего-то типа такого type T = <A, B, C, Combo extends A & B & C>(opts: [A] | [A, B] | [A, B, C]) => Combo

Это не то же самое получается, емнип

С учетом того, что дженерик параметров у меня не 3, а 30, а массив может из 10 элементов состоять, сэкономил строк 150

Это не то же самое получается, емнип

я потестил КАК СМОГ

типы всё так же выводятся, как и выводились, в поведении разницы пока не заметил

У меня в итоге сократилось до чего-то типа такого type T = <A, B, C, Combo extends A & B & C>(opts: [A] | [A, B] | [A, B, C]) => Combo

компилятор вроде может докопаться до [A] | [A, B] | [A, B, C], когда к C обратишься, скажет что нет такого

это точно докопается

но я ж не обращаюсь по индексу к элементам массива

а, ну еще же джереники указывать придется, когда не надо

или уже завезли опциональные дженерики?

В скале тоже самое кстати

В скале вообще на удивление похожие проблемы кстати

а, ну еще же джереники указывать придется, когда не надо

Нет, не придется

Это ж функция

В скале вообще на удивление похожие проблемы кстати

но явная ковариантность там есть )

а, сам ts выведет