Какую проблему ты решаешь гетом

get(object, 'a[5].s.a[16].d', 'default')

Пиздец

Вот у меня желания такую хрень совершенно нет парсить.

Пиздец

Это от балды.

Это пиздец

Ну, у меня была одна ситуация, когда эта хрень понадобилась.

А так да, это пиздец.

Защита от типизации кода

Защита от типизации кода

Как будто что-то плохое

И вообще функции-дженерики вам на что?

Как будто что-то плохое

Ну при использовании тайпскрипта возможно даже и разницы не будет ;)

И вообще функции-дженерики вам на что?

На что нибудь другое

Это не случай для них

Ну при использовании тайпскрипта возможно даже и разницы не будет ;)

?

Это не случай для них

да нет, как раз для них

Как написать any со сложными щщами и не подать виду

const title = get(gameMetaData, 'title', defaultTitle); вот так ок

затем что может '' вернутся

а для get только undef считается пустым значением? Конструкция в целом неудачная

хотя обычно в проектах столько говнокода, что это мелочи

а для get только undef считается пустым значением? Конструкция в целом неудачная

угу, ну и если по пути отвалилось

я вот ща в легаси копаюсь tslint фикшу

Как написать any со сложными щщами и не подать виду

Так это же фича TS - динамическая типизация там где она нужна.

"Я не потерял тип, я динамически типизировал"

и баг - динамическая типизация там, где она не нужна(

"Я не потерял тип, я динамически типизировал"

Без проверок типов в рантайме для таких задач не обойтись

Полсе того как тс опять динамически типизировал втихую — разумеется

const title = gameMetaData.title || defaultTitle; короч сделал так, имхо бест вариант, но чет так и не понял как тайпскрипт тут побороть

можно ли как-то опционально сделать метод, который бы работал this.state.get<MyModel>(State.MyModel); так и this.state.get(State.MyModel);

?

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

Полсе того как тс опять динамически типизировал втихую — разумеется

Нет. TS тут не причем. Либо теряем тип, либо в рантайме проверяем. Других вариантов нет. Это я все про задачу с get(object, 'a.b.c')

можно ли как-то опционально сделать метод, который бы работал this.state.get<MyModel>(State.MyModel); так и this.state.get(State.MyModel);

а как связаны тип аргумента и тип ретурна?

Нет. TS тут не причем. Либо теряем тип, либо в рантайме проверяем. Других вариантов нет. Это я все про задачу с get(object, 'a.b.c')

Ты понимаешь что твоё утверждение не несёт никакого смысла, нонсенс? У тебя тут нет дженерика от слова совсем, ты просто херишь тип а потом заново делаешь вывод из any

Ты понимаешь что твоё утверждение не несёт никакого смысла, нонсенс? У тебя тут нет дженерика от слова совсем, ты просто херишь тип а потом заново делаешь вывод из any

Я и говорю о том, что либо терять тип, либо проверять тип в рантайме.

И это не дженерик

А дженерик - это фактически просто чуть более красивый any

…

Опять же без проверок в рантайме

Дженерик это не any

Всмысле он дает больше чем просто красоту

Всмысле он дает больше чем просто красоту

В данной задаче только красоту

Ну такими темпами дойдемдо того что твйпскипт дает только красоту

Дженерики для красоты ето сильно

я тоже считаю, что дженерики это красиво

как jsx

Такая своего рода гирлянда, чтобы открывал код и обретал праздничное, нарядное настроение

— Зачем вы используете дженерики? — Ну во-первых, это красиво...

кто нить может скинуть где почитать как дженерики работают?

не в плане доки, а как они внутри устроены

Я вообще о том, что никаких дженериков в JS коде нет, да и ts типов тоже. И проверок типов тоже нет. И если дженерик get параметризирован number, то не факт, что в результате он действительно число вернет.

ну если вы специально не обманываете тайпчекер(кастуете any к произвольному типу) где-то, то факт

ну если вы специально не обманываете тайпчекер(кастуете any к произвольному типу) где-то, то факт

В задаче про get(object, 'a.b.c') не обманывать тайпчекер можно только через any.

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

В задаче про get(object, 'a.b.c') не обманывать тайпчекер можно только через any.

ну тут легко можно немного изменить формат и тайпчекать

ну тут легко можно немного изменить формат и тайпчекать

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

например g(g(object, ‘a’), ‘b’) или потом g(object, “a”, “b”)

проверять типы есть смысл только для данных из внешнего мира

например g(g(object, ‘a’), ‘b’) или потом g(object, “a”, “b”)

а как будет выглядеть сигнатура такой функции в TS?

Я вообще о том, что никаких дженериков в JS коде нет, да и ts типов тоже. И проверок типов тоже нет. И если дженерик get параметризирован number, то не факт, что в результате он действительно число вернет.

Полнейшее непонимание сути и предназначения дженериков

Полнейшее непонимание сути и предназначения дженериков

И какая же у них суть и предназначение?

а как будет выглядеть сигнатура такой функции в TS?

https://www.typescriptlang.org/play/index.html#src=declare%20function%20get%3CO%2C%20P%20extends%20keyof%20O%3E(o%3A%20O%2C%20p%3A%20P)%3A%20O%5BP%5D%0Adeclare%20function%20get%3CO%2C%20P1%20extends%20keyof%20O%2C%20P2%20extends%20keyof%20O%5BP1%5D%3E(o%3A%20O%2C%20p1%3A%20P1%2C%20p2%3A%20P2)%3A%20O%5BP1%5D%5BP2%5D%0A%0Aconst%20a%20%3D%20%7B%0A%20%20%20%20a%3A%20%7B%0A%20%20%20%20%20%20%20%20b%3A%205%0A%20%20%20%20%7D%0A%7D%0Aconst%20b%20%3D%20get(a%2C%20%22a%22%2C%20%22b%22)

https://www.typescriptlang.org/play/index.html#src=declare%20function%20get%3CO%2C%20P%20extends%20keyof%20O%3E(o%3A%20O%2C%20p%3A%20P)%3A%20O%5BP%5D%0Adeclare%20function%20get%3CO%2C%20P1%20extends%20keyof%20O%2C%20P2%20extends%20keyof%20O%5BP1%5D%3E(o%3A%20O%2C%20p1%3A%20P1%2C%20p2%3A%20P2)%3A%20O%5BP1%5D%5BP2%5D%0A%0Aconst%20a%20%3D%20%7B%0A%20%20%20%20a%3A%20%7B%0A%20%20%20%20%20%20%20%20b%3A%205%0A%20%20%20%20%7D%0A%7D%0Aconst%20b%20%3D%20get(a%2C%20%22a%22%2C%20%22b%22)

Прикольно. Вот только таким образом нельзя будет нормально типизировать случай, когда строка формируется в рантайме.

ну очевидно да

В тайпскрипте — да

ну очевидно да

если конечно вы не проверите строку на соответствие ключам объектов

ERROR: S client not available

ну очевидно да

то есть возвращаемся обратно к рантайм проверкам

т.е. если не докажите, что они являются keyof

я правильно понимаю, что const tabs: Array<React.ReactElement<ITabProps>> = []; тоже самое что const tabs: React.ReactElement<ITabProps>[] = []; ?

то есть возвращаемся обратно к рантайм проверкам

мне сложно представить необходимость формирования такой строки в рантайме

Душа требует гирлянд

мне сложно представить необходимость формирования такой строки в рантайме

это не значит, что такой необходимости не возникнет

есть подозрение, что это опять какие-то данные из внешнего мира, которые да, надо валидировать и это никак не влияет на то, что все типизируется нормально)

есть подозрение, что это опять какие-то данные из внешнего мира, которые да, надо валидировать и это никак не влияет на то, что все типизируется нормально)

Ну провалидировали, тип объекта известен и даже строка во время компиляции известна. Но вот функцию вида get(object, 'a.b.c') по прежнему нельзя безопасно типизировать без рантайм проверок, самостоятельной проверки типов или изменения сигнатуры функции. Так как не получится во время компиляции заставить TS распарсить строку.

так, а что вы провалидировали?

Это кстати не означает что это в принципе невозможно статически типизировать

тип объекта и тип строки, что он соответствует какому-то пути в объекте? Тогда как я показал выше, в тс можно описать тип операции, в системах типов получше можно описать это еще лучше

я правильно понимаю, что const tabs: Array<React.ReactElement<ITabProps>> = []; тоже самое что const tabs: React.ReactElement<ITabProps>[] = []; ?

бамп

тип объекта и тип строки, что он соответствует какому-то пути в объекте? Тогда как я показал выше, в тс можно описать тип операции, в системах типов получше можно описать это еще лучше

Допустим мы провалидировали тип объекта, строку и всё всё у нас валидно и путь есть. Но только для корректной типизации всё равно надо будет менять сигнатуру функции.

про сигнатуру не понял

я правильно понимаю, что const tabs: Array<React.ReactElement<ITabProps>> = []; тоже самое что const tabs: React.ReactElement<ITabProps>[] = []; ?

да

Array<A> и A[] это одно и тоже

про сигнатуру не понял

get(object, 'a.b.c') придётся заменить на get(object, 'a', 'b', 'c')

ну да

вот только это не всегда возможно, так как get скорее всего вообще в чужой либе лежит

ну еще eval особо не типизируешь

и JSON.parse

да, это все работа с внешним миром, нужно валидировать

или зависимые типы искать

Лёл

http://kcsongor.github.io/purescript-safe-printf/

да, это все работа с внешним миром, нужно валидировать

да даже не с внешним миром, вот в чём прикол

http://kcsongor.github.io/purescript-safe-printf/

Система типов нормального человека

да даже не с внешним миром, вот в чём прикол

можно мне кейс, где рандомная строка не из внешнего мира пойдет в json.parse?

можно мне кейс, где рандомная строка не из внешнего мира пойдет в json.parse?

в json.parse скорее всего нет, а вот в get - запросто

:t format @"Wurble %d %d %s" Int -> Int -> String -> String

хотя это всё редкие вещи на саомм деле

в json.parse скорее всего нет, а вот в get - запросто

ну а get можно типизировать, если вы путь не билдите в рантайме, а если в рантайме, то покажите мне почему это так без взаимодействия с внешним миром у вас какие-то хитрые пути в объекте)