🦉
Ситуация оч напоминает С++11
о, там тоже жопа теперь
Size: a a a
2018 June 14
DM
Пытаются пофиксить
DM
Усложнениями
AS
сколько нужно ещё обозначений чтобы разрабы тс успокоились?
так они же из реальных кейсов исходят. сколько надо будет, столько и добавят :) это ж всё не взаимозаменяемо
🦉
так они же из реальных кейсов исходят. сколько надо будет, столько и добавят :) это ж всё не взаимозаменяемо
ну да, есть языки, которые позволяют все эти кейсы описывать минимумом конструкций, но тс добавляет ещё конструкций, чтобы эджкейсов было ещё больше, и нужно было добавлять ещё конструкций, чтобы как-то управлять новыми эджкейсами
🦉
так они же из реальных кейсов исходят. сколько надо будет, столько и добавят :) это ж всё не взаимозаменяемо
покажи мне язык, где есть void, any, never и unknown вместе?
а потом ответь, почему остальные языки без этого отлично живут?
а потом ответь, почему остальные языки без этого отлично живут?
к
never нужен, это важно
any нужен (в случае js)
какой-то аналог mixed (unknown?) нужен, так как это не any
void это же просто null | undefined? тоже нужен
any нужен (в случае js)
какой-то аналог mixed (unknown?) нужен, так как это не any
void это же просто null | undefined? тоже нужен
🦉
never нужен, это важно
any нужен (в случае js)
какой-то аналог mixed (unknown?) нужен, так как это не any
void это же просто null | undefined? тоже нужен
any нужен (в случае js)
какой-то аналог mixed (unknown?) нужен, так как это не any
void это же просто null | undefined? тоже нужен
ахаха бля
AS
покажи мне язык, где есть void, any, never и unknown вместе?
а потом ответь, почему остальные языки без этого отлично живут?
а потом ответь, почему остальные языки без этого отлично живут?
Отвечаю. Отличие TS от других языков в том, что мы пытаемся затипизировать по максимуму то, что законно в JS. Поэтому нам нужны все эти типы, а в других языках в них нет необходимости
🦉
потом открываешь любой другой язык и всё вместе не нужно
🦉
Отвечаю. Отличие TS от других языков в том, что мы пытаемся затипизировать по максимуму то, что законно в JS. Поэтому нам нужны все эти типы, а в других языках в них нет необходимости
берем flow и типизируем
VK
Там есть все то же самое
AK
void, never, unknown, any, …
unknown это аналог mixed во flow
🦉
Там есть все то же самое
покажи?)
🦉
потом ситуация с infer тоже очень странная
VK
never это empty
к
хаскель:
- есть never
- есть mixed/unknown через Typeable
- для void это вроде как просто unit
- any нет (ну хотя вроде есть, но я не использовал и думаю это будет тот же mixed)
- есть never
- есть mixed/unknown через Typeable
- для void это вроде как просто unit
- any нет (ну хотя вроде есть, но я не использовал и думаю это будет тот же mixed)
VK
unknown это mixed
VK
any есть, void есть
🦉
хаскель:
- есть never
- есть mixed/unknown через Typeable
- для void это вроде как просто unit
- any нет (ну хотя вроде есть, но я не использовал и думаю это будет тот же mixed)
- есть never
- есть mixed/unknown через Typeable
- для void это вроде как просто unit
- any нет (ну хотя вроде есть, но я не использовал и думаю это будет тот же mixed)
только большая часть сделана не через синтаксис языка