AP
a = Just 42
Size: a a a
2020 November 02
AP
Это что? Просто Just Int? Или Maybe? Или ещё какой юнион с Just примешанным?
DK
это джаст инт, но так как в тс структурная типизация ты можешь слать это значение туда где ожидается мэйби
DK
и ты можешь сделать так
const a: Maybe<number> = {tag: 'Just', value: 1}AP
А я не хочу, чтобы это значение можно было использовать нигде кроме Maybe!
AP
Это нельзя выразить
AP
И вывести тип Maybe из Just нельзя. Потому что структурная типизация так не работает
DK
ну тем не менее это уже реализовано таким вот образом
GP
Если только наследование сделать
DK
и тот же fp-ts целиком на этом построен
AP
Если только наследование сделать
И поиметь проблемы с вариантностью?
DK
ну кстати можно просто не экспортить конкретные варианты а только целый тип
DK
будет опакью
DK
и нигда не будет джаст что-то
AP
Denis Krivosheev
ну тем не менее это уже реализовано таким вот образом
Я с чего начал: в TS нет размеченных сумм. Ты пытался меня убедить, что есть аналог. Но нет, я прав оказался :)
Про то, что есть в TS, я знаю — знаком со структурной типизацией
Про то, что есть в TS, я знаю — знаком со структурной типизацией
DK
можно даже конструкроты сделать
just(15)AP
Denis Krivosheev
будет опакью
Без exhaustiveness analysis?
DK
есть анализ но сделан странно
AP
Как и многое другое :)
DK
да