все равно лучше чем флоу)

если бы

сколько нужно ещё обозначений чтобы разрабы тс успокоились?

Ситуация оч напоминает С++11

Когда они хуевый дизайн

Ситуация оч напоминает С++11

о, там тоже жопа теперь

Пытаются пофиксить

Усложнениями

сколько нужно ещё обозначений чтобы разрабы тс успокоились?

так они же из реальных кейсов исходят. сколько надо будет, столько и добавят :) это ж всё не взаимозаменяемо

так они же из реальных кейсов исходят. сколько надо будет, столько и добавят :) это ж всё не взаимозаменяемо

ну да, есть языки, которые позволяют все эти кейсы описывать минимумом конструкций, но тс добавляет ещё конструкций, чтобы эджкейсов было ещё больше, и нужно было добавлять ещё конструкций, чтобы как-то управлять новыми эджкейсами

так они же из реальных кейсов исходят. сколько надо будет, столько и добавят :) это ж всё не взаимозаменяемо

покажи мне язык, где есть void, any, never и unknown вместе? а потом ответь, почему остальные языки без этого отлично живут?

never нужен, это важно any нужен (в случае js) какой-то аналог mixed (unknown?) нужен, так как это не any void это же просто null | undefined? тоже нужен

never нужен, это важно any нужен (в случае js) какой-то аналог mixed (unknown?) нужен, так как это не any void это же просто null | undefined? тоже нужен

ахаха бля

покажи мне язык, где есть void, any, never и unknown вместе? а потом ответь, почему остальные языки без этого отлично живут?

Отвечаю. Отличие TS от других языков в том, что мы пытаемся затипизировать по максимуму то, что законно в JS. Поэтому нам нужны все эти типы, а в других языках в них нет необходимости

потом открываешь любой другой язык и всё вместе не нужно

Отвечаю. Отличие TS от других языков в том, что мы пытаемся затипизировать по максимуму то, что законно в JS. Поэтому нам нужны все эти типы, а в других языках в них нет необходимости

берем flow и типизируем

Там есть все то же самое

void, never, unknown, any, …

unknown это аналог mixed во flow

Там есть все то же самое

покажи?)

потом ситуация с infer тоже очень странная

never это empty

хаскель: - есть never - есть mixed/unknown через Typeable - для void это вроде как просто unit - any нет (ну хотя вроде есть, но я не использовал и думаю это будет тот же mixed)

unknown это mixed

any есть, void есть

хаскель: - есть never - есть mixed/unknown через Typeable - для void это вроде как просто unit - any нет (ну хотя вроде есть, но я не использовал и думаю это будет тот же mixed)

только большая часть сделана не через синтаксис языка

flow: - есть never - есть unknown - есть void - есть any

только большая часть сделана не через синтаксис языка

какой синтаксис в unknown?

какой синтаксис в unknown?

ключевое слово?

зарезервированный тип, как и везде)

flow: - есть never - есть unknown - есть void - есть any

где во флоу never? я чет найти в доке не могу

empty

never это empty

где во флоу never? я чет найти в доке не могу

empty

бляяя

empty является одним из ключевых типов в принципе, на его основе все остальные строятся

empty является одним из ключевых типов в принципе, на его основе все остальные строятся

с чего бы?

это юнит типа

короч я понял) типизация в жс это бессмысленная вещь

все типы это есть перечисления (сумма) возможных литералов, empty в это включен

поэтому если мы все кейсы рассмотрим

то останется только empty

все типы это есть перечисления (сумма) возможных литералов, empty в это включен

а, ясно

поэтому он и работает в switch default

да

я понял

но блядь об этом забыл

а почему в тс never назвали?

?

и unknown?

в чем логика?

never потому что у этого типа НИКОГДА не будет значения, мы никогда не сможем создать терм типа never, никогда не сможем его передать, никогда не сможем с ним работать самое популярное название (вне жс) этого типа Void но в жс (и в еще многих языках) void-ом почему-то называют Unit

never потому что у этого типа НИКОГДА не будет значения, мы никогда не сможем создать терм типа never, никогда не сможем его передать, никогда не сможем с ним работать самое популярное название (вне жс) этого типа Void но в жс (и в еще многих языках) void-ом почему-то называют Unit

тогда зачем иметь void и never вместе?

и unknown?

как и mixed. Это значит, что у терма есть четкий тип (это не any, когда типа нет), просто мы его не знаем, нужно матчить

тогда зачем иметь void и never вместе?

в жс void = unit из хаскеля, never = void из хаскеля

как и mixed. Это значит, что у терма есть четкий тип (это не any, когда типа нет), просто мы его не знаем, нужно матчить

так mixed описывает смешанный тип, но известный

нет, он нам неизвестен, наоборот. Смешанный и значит, что он есть, но неизвестно какой, без рантайм матча никуда

в жс void = unit из хаскеля, never = void из хаскеля

знаешь что я думаю? в тс долбоебы придумывают названия сущностям

нет, он нам неизвестен, наоборот. Смешанный и значит, что он есть, но неизвестно какой, без рантайм матча никуда

флоу же показывает mixed тип

ну тут не тс, в сишке тоже void = unit из теории древний диснейминг

бля

все типы это есть перечисления (сумма) возможных литералов, empty в это включен

и как мне это в голове матчить?

дичь

покажи мне кейс, где void и never имеют разницу

когда паттерн матчинг в тс завезут?

лол

покажи мне кейс, где void и never имеют разницу

потому что сейчас я вижу усложнение на пустом месте

покажи мне кейс, где void и never имеют разницу

function(): never { while(true) {...}} - ?)

или throw внутри

function(): never { while(true) {...}} - ?)

function(): void {}

ну вот и разница

вернуть ничего или не вернуть ничего

function(): void {}

нет, never никогда ничего не вернет, а void это undefined в твоем случае

вернуть ничего или не вернуть ничего

бля

охуеть

// @flow function f(x: mixed) { // тут не известен if (typeof x === "number") { // тут известен console.log(x); } } function g(x: any) { // тут не известен if (typeof x === "number") { // тут все еще неизвестен, потому что типа в принципе нет у переменной console.log(x); } }

в жс разницы 0

@kana_sama ж правильно описал

вернет ничего или не вернет ничего

какая нахуй разница в жс

один хер undefined

в тс я так понимаю unknown то же самое, что и mixed - не узнаем пока не сматчим

один хер undefined

нет, в случае never у тебя никогда не будет значения, даже undefined не будет

нет, в случае never у тебя никогда не будет значения, даже undefined не будет

в жс

function(): void {}

есть разница

в жс

в жс тоже

const a = f()

в жс тоже

бля

const a = f()

бля

f(x: never): int обозначает функцию, которую невозможно вызвать

в случае void у a будет значение, в случае never никогда присвоения не произойдет

в случае void у a будет значение, в случае never никогда присвоения не произойдет

будет

в жс будет

нет, не будет

бля

да ну нахуй

function f() { throw new Error }

эээ

присвоения не будет

потому что упадет еще до этого