Предположим, у меня есть такой тип в F#: type public Expression = | Identifier of string | BooleanConstant of bool | StringConstant of string | IntegerConstant of int | Vector of Expression list // etc... Теперь я хочу...

Я использую проверку полноты, как описано в TypeScript Deep Dive Похоже, что проверки на полноту работы для типов объединения отличаются от типов, которые не являются типами объединения. Почему?? Например, в приведенном ниже коде обратите...

Хотя я в целом понимаю причину ошибок Typescript и могу их исправить, эта меня сбила с толку. В эту детскую площадку я рассчитывать на ответ от Могу ли я определить карту Typescript, имеющую ограничение значения, соответствующее каждому ключу...

Допустим, у меня есть два типа: X и Y type X = 'foo'; type Y = 'bar'; И у меня есть следующий дискриминированный союз: type DiscriminatedUnion = | { type: 'X', fn: (arg: X) => void; arg: X; } | {...