Пример.

new Some({ a, b })

Ща.

Тогда у нас некоторая проблема, которую мы попробуем решить :)

Т.е. В конструкторе что-то типа constructor(props: IProps<T>)

Эту проблему удалось решить, пожертвовав точным типом мембера b.

Как оттипизировать "b" в классе, а не в сигнатуре, я не знаю. Идей нет.

Но от того, что работает typeof obj.a я сам офигел. Работает.

Этого _точно_ нет в документации, но это невероятно круто, и это укладывается в логику языка.

Да в документации базовые примеры, многие вещи не очевидны

Да в документации базовые примеры, многие вещи не очевидны

Да мы, в общем, сейчас шаримся по глубоким подземельям системы типов TypeScript. Ща истерики пойдут. "Никогда не делайте так в продакшне, а то я как увижу такое так нихрена не пойму и у меня глаза вытекут".

Никаких истерик сейчас конечно же не будет

Потому что с большой долей вероятности вы будете разбирать свою клинопись, матерясь, сами)

Но тогда переживать уже будет поздно

LOL :D

Нормально, разберем, не переживайте. ? Это довольно простой код для того, кто умеет его читать. Тем более для того, кто умеет его писать. Вопрос тренировки, в которой некоторые себе отказывают.

К этому коду кстати особо претензий нет) Просто будет не лишним помнить, что чем меньше эзотерики в коде — тем проще поддерживать проект

К этому коду кстати особо претензий нет) Просто будет не лишним помнить, что чем меньше эзотерики в коде — тем проще поддерживать проект

С этим я, как ни странно, согласен.

Просто понятие эзотерики у нас немного разное.

Но шансов такое написать в гражданском проекте у разраба немного. Это все-таки очень далеко от шаблонной рекурсии С++, которую во-первых умелец может воткнуть куда угодно, и которая во-вторых вычислительно полна в момент компиляции.

И которая потому открывает врата в ад, а тут их нет.

Собственно, после С++ толковые авторы языков специально следят за тем, чтобы их система типов совершенно случайно не получилась вычислительно полна.

А посему - нехрен истерить. Все нормально.

Хотя, ацкий паттерн expression templates в C++ - это был весьма полезный трюк, который позволял делать частичные вычисления. ? Но в TS такого нет. Расслабьтесь.

Вычислительна полна это по Тьюрингу? Тогда система типов тс именно к такой и относится

Вычислительна полна это по Тьюрингу? Тогда система типов тс именно к такой и относится

Да ладно. Пруф?

Влад, ты первый сказал, что не полна, так что бремя доказательства лежит на тебе

Жжоте :)

Давай пацан сказал — пацан доказал

Воздержусь ? Подожду, когда кто-нибудь машину Тьюринга на типах TS изобразит ? Или, на худой конец, нормальные алгорифмы Маркова - тодже сойдет ?

Али не пацаны? :)

гоу усложним задачу, есть интерфейс с generic типом, нужно установить зависимость между его полями

Да ладно. Пруф?

https://github.com/Microsoft/TypeScript/issues/14833

No fuckin way :)

Блядь, извращенцы. Все пропало. Она, по ходу, таки вычислительно полна.

Ну так а в чём печаль то?

Влад, ты не прав)

Ну, тикет интересный. С тем, насколько он действительно означает вычислительную полноту, мы разберемся на днях. Тут думать надо.

Это любопытнейший теоретический вопрос, практические выводы из которого рано или поздно последуют, и если она таки полна, то мало вам не покажется.

чекнул ваш пример

И он не проверяет точный тип переменной. Вижу.

А, ну понятно почему. keyof C это все ключи C, то есть, "g" | "k"

Соответственно, C[ typeof a ] это все типы этих свойств С, то есть number | string

Это конечно лучше, чем совсем ничего. Но недостаточно хорошо.

Чтобы был точный "g", надо писать extends. Что можно сделать только введя параметр шаблона.

Ну тогда ой - с конструктором так точно нельзя (ему давать параметры шаблона запрещено), и с фабричным методом create - тоже нельзя, там надо давать или все параметры шаблона, или ни одного, и если не дать ни одного, то С не выведется.

Ну так а в чём печаль то?

Виснуть будет)

Виснуть будет)

Печаль не в этом. Если оно полно, то рано или поздно, начнут отжигать, как в С++. А вот этого никто не хочет. Поэтому автор тикета и открыл его с пожеланием сразу прикрыть лавочку.

Печаль не в этом. Если оно полно, то рано или поздно, начнут отжигать, как в С++. А вот этого никто не хочет. Поэтому автор тикета и открыл его с пожеланием сразу прикрыть лавочку.

Это к полноте особо отношения не имеет

Это к полноте особо отношения не имеет

Имеет прямейшее отношение. См. книгу Александреску. Адъ.

чекнул ваш пример

Может, завтра что-нибудь еще придумаю. Но очень вряд ли. Есть ощущение, что этого сделать нельзя. Пусть какой-нибудь другой энтузиаст нас удивит.

Омг

Блядь, извращенцы. Все пропало. Она, по ходу, таки вычислительно полна.

еее

Печаль не в этом. Если оно полно, то рано или поздно, начнут отжигать, как в С++. А вот этого никто не хочет. Поэтому автор тикета и открыл его с пожеланием сразу прикрыть лавочку.

отжигают давно уже

https://github.com/tycho01/typical

народ, а кто-то юзает тайпскрипт вместе с react-ом?

Может, завтра что-нибудь еще придумаю. Но очень вряд ли. Есть ощущение, что этого сделать нельзя. Пусть какой-нибудь другой энтузиаст нас удивит.

готово

ERROR: S client not available

Обсуждали это уже

Обсуждали это уже

где когда

где когда

Тут, найти не могу

Но в целом тс все по делу ругается

Просто при создании объекта тип свойства выводится как string

не, мне нужно было сделать класс в который передаётся generic тип, и проверить попарное соотвествие двух полей

с помощью Conditional Types получилось разложить map тип на возможные комбинации парных значений

т.е. тип <T>{ [K in keyof T]: T[K} } раскладывается в { a: T[typeof b], b: T[typeof a] }

field2

а все

понял

тайплевел упорин

можно же просто сделать апи попроще)

почему field3 получил допустимость всех типов

ну у менва вариант или передать 3 генерика, или один

три передавать не очень удобно

т.к. они могут определиться по аргументам отданым в конструктор

это для реакта что-то?

да

ну примерно для чего

в реакте как юзается?)

я вчера кидал свою реализацию типизированной формы, народ поржал, ибо для каждого поля отдельно создавался типизированный объект

типа field1, field2 и тд

а да)

ну так жди генериков для jsx

теперь, будет <Field name={"field"}> и значение value сразу предопределится

оказывается Conditional Types очень мощная штука для разложения типа на микс других

мало того, позволяет достать generic из типа

как расширить один тип другим?