169 похожих чатов

Https://Www.Typescriptlang.Org/Play?#Code/C4TwDgpgBAyiDOwIFsCiA3CA7YUC8UA3gFBRlSiQBcUA5PAksraeQCYCGwHNiATgEssAcwDaAXWIBfYsUrQAglgD2wABYQ+GbLgIlyFcBBq0OK9ZpYHO3GoSgC2NLAFdkAI01QpE6VFkAxspYiFDGsIwo2jhQAD5QSqoaWpgxelJQHPCZWCCyAgBmUAAUEAB08vh4BKbmybQAlESsZEEhygA25R3KwqVlNhxlyBxgxQJM+AB8Dkxljg0N0oHBoQLwiRYpOgAqRvgl8rzAgiINNJXrdGZJltPNBnwQwC58WIaQVTU3WywyxIUSutNslosA9pB+VJFg9yG14J1ur1+ONhqNxpM8DMJih5mxFtIgA

2 ответов

30 просмотров

привет, если тебе ещё актуально, то в примере в песочнице ты неправильно написал гвард. Гвард сужает тип и кастит по условию на то, что передано в условие, а ты написал гвард на поле. То есть интерпретатор ts на выходе из условия if c гвардом знает только то, что поле type точно типа 'another', но он никак не связывает это поле с объектом (и его типом), в котором это поле содержится. Я рядом написал правильный гвард, посмотри. https://www.typescriptlang.org/play?#code/C4TwDgpgBAyiDOwIFsCiA3CA7YUC8UA3gFBRlSiQBcUA5PAksraeQCYCGwHNiATgEssAcwDaAXWIBfYsUrQAglgD2wABYQ+GbLgIlyFcBBq0OK9ZpYHO3GoSgC2NLAFdkAI01QpE6VFkAxspYiFDGsIwo2jhQAD5QSqoaWpgxelJQHPCZWCCyAgBmUAAUEAB08vh4BKbmybQAlESsZEEhygA25R3KwqVlNhxlyBxgxQJM+AB8Dkxljg0N0oHBoQLwiRYpOgAqRvgl8rzAgiINNJXrdGZJltPNBnwQwC58WIaQVTU3WywyxG01hs6pposA9pAAEwHYrAGhwRBRVK4eKbZJg84UBzZNGg5H3fTkJ4vN4UCr7arfEF8P75IrjYG3bY4CEQSGlRYPciAzrdXr9QbDUbjSZ4GYTFDzNiLaRAA

Veli- Автор вопроса
Владимир Захаров
привет, если тебе ещё актуально, то в примере в пе...

Привет, я уже сделал то же самое, даже сообщение оставил сверху) вот ты говоришь следующую мысль, что интерпретатор знает только то, что тип = another. С другой стороны у меня дискриминейтед юнион, который ровно по этому типу и определяется. Т.е если он знает, что тип такой, в чем принципиальная проблема определить, какой из типов в юнионе корректный для текущей ситуации? На скриншотах ситуация 1 в 1. Сужается тип type, но дискриминейтед юнион не отрабатывает и сущность продолжает быть юнионом, хотя очевидно, что с таким type тип объекта уже определён. Насколько я понимаю, тс просто в тупую кастит поле и никак это ни с чем не связывает. Он просто принуждает поле быть такого-то типа. Мне это показалось довольно неудобным, хотя логика в этом, наверное, какая-то есть

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта