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

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

2 ответов

9 просмотров

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

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

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

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

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

@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Заметил в ghci 9.4.8: > :t (<*>) @((->)_) (<*>) @((->)_) :: (w -> (a -> b)) -> (w -> a) -> w -> b Разве не должно (w -> (a -> b)) быть записано как (w -> a -> b)? Это баг, ил...
Михаил
13
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Any electron dev here?
Sayanth Tezro
12
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Кто-нибудь знает почему SPM клонирует репо целиком? Некоторые репы просто огромные, как та же swift-syntax которая нужна для использования макросов. Сначала подумал, что это...
iMike
6
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Привет. Я верно понимаю, что в определении класса Монад m — зафиксирован (к тому же поскольку это моноид в категории эндофункторов). Т.е. используя байнд я не могу перемещать...
Arseny
5
Карта сайта