Why Typescript is bad

Variance annotations are unsound. Contravariant type variable can be pronounced to be covariant, and TS couldn't care less.

Code. Issue.

Also here is an example that actually crashes in runtime.

Extension persistently shows a type of expression on top of // ?^ mark. It's indispensable for debugging of deeply nested type computations.

https://marketplace.visualstudio.com/items?itemName=Orta.vscode-twoslash-queries

10x @dkzlv @khraks_mamtsov

https://devblogs.microsoft.com/typescript/announcing-typescript-5-0-beta/ 🔥

#when_typescript_rehabilitated
https://github.com/microsoft/TypeScript/pull/50666

Code.

Issue.

10x @js_monk

Global declarations aren’t saved, but there is no other way to infer it. TS doesn’t respect JS standards.

Edit. TS claims to have a design goal of typing common JS patterns. The pattern in question is typeof of undeclared variable. Probably every reader used to do typeof window !== 'undefined' at least once.

It's currently possible to declare the variable globally by extending Window interface, but those declarations will be available — well — everywhere, including the modules that have nothing to do with them. Global variables, global declarations, all the globals are widely considered an antipattern for this reason.

Narrowing already makes it so that single variable can have several types in different parts of the code, but correctly typed typeof would also require dynamically changing a set of variables that are available in current scope.

It weren't us who made a decision about design goals, so the discussion on unintended consequences is under the feature request.

Strict option does not override underlying options like noImplicitAny in extended configs

https://www.typescriptlang.org/play?#code/GYVwdgxgLglg9mABBBECGUAqB3OBlKAJxjAHMBnACnIC5FyiTSBKAbwChCBTKEQpcgDoUkDJQBE5OAFsuAeSgALLoQLEy45gG52AX3bsIAGzTlyiAIIXEHAJAiGhENDiFKzG-tukeapu5t2W1tuXn5ESUYNHVt9fUMTM0QAIWTELgAPKC4wABNzK0DvXyjSdzpHJhifKD8ySjQ6MBBpACMVZiaW9sJqkvUytAB+LraOitLEAB9EZrHCIpCePiQARhi49iMeRFbEAF5ZrmwU5PcdLZ2pWTrSA93BGtvzgwc4bcEjODKoAE8ABy4cGA9BkXFu2leCCkHy+ZRE6CwuFuVGu4NKzEhQA

Thanks @brutor

A simpler example of the same issue from @djaler: https://www.typescriptlang.org/play?#code/GYVwdgxgLglg9mABAcwKZQMpQE4zMgCgEoAuRAZxz2QG4AoUSWBFdLXfAgQzLBAFsARqmylEfISPqNo8JGkxVOXAPy8Bw0WUodkiAD7iNIxAG86ASGzoQ2JAEZ6AXzp0ICSomBw4iALysirrE9Aw+AHTukFxQBADkglzYcURAA

TypeScript - there is always a way to find a hack ©

readonly добавили, а nonenumerable забыли :)

https://github.com/microsoft/TypeScript/issues/9726

https://www.typescriptlang.org/play?#code/MYewdgzgLgBATgU2FAjDAvDAJiYBXAWwTCgDoAjELAT1IHMEoAhEPMLASzDoGEAbDsSgAlJFAAUASgDcAWABQoSLETIATBhgBvUrtWoAvnPkB6EzGABDMGBAqElrDAAOcEM4Rwo1GAAMoIADKUHBcdL4wIABmfmxYCFFcCFi+CkoQIHwIpHwgdOL6aqQAHqQBwaHcUjJAA

Как же у меня бомбит с тайпскриптовых енумов.
Мало того что они используют зарезервированное в ЖС слово (что обязательно в какой-то момент сломается), так и реализованы криво и имеют плохой интероп с остальными типами / значениями и в общем ощущаются как очень странный костыль вместо юнионов.

Главная практическая проблема в них, для меня, в том что их нельзя мапить на уровне типов, те дженерик операции над енумами практически невозможны. Какие-то гиперболизированные, но бесполезные unique type, но иногда не unique 🤪

Если вам кажется, что сообщения об ошибках в TS могли бы быть более понятными, вы не одни. Одного из соавторов xstate это утомило, и он сделал расширение для vscode, декодирующее ошибки с майкрософтового на английский. Штука, конечно, маргинально полезная, но кому-то, может, и поможет. Потестить без установки можно тут.

Не все знают, что среди тысяч багов TS в Issues проекта на Github есть и другие тикеты, которые полезно иногда найти и почитать.

С недавнего времени Google начал писать формальные отчёты о том, как прошло обновление до свежей версии TS, в которых указаны breaking changes, забытые в официальном changelog в блоге. Обновление на новую версию — три дня потерянного времени. Смотреть, как инженеры Google наступают на грабли за вас — бесценно.

Иногда могут закрадываться подозрения, что команда TS не делает вообще ничего полезного. В таком случае полезно посмотреть лог дизайн-митингов. Там обсуждаются самые важные изменения, которые, несомненно, затронут все аспекты вашей разработки: как правильно показывать подсказки с помощью JSDoc, и должны ли *.cts файлы считаться модулями.

Stay typesafe, stay informed!

Больше тайпскрипт за бивариантность не поругать.
https://devblogs.microsoft.com/typescript/announcing-typescript-4-7/

https://github.com/microsoft/TypeScript/issues/26255

https://www.typescriptlang.org/play?ts=4.6.2#code/MYewdgzgLgBAtgTwEIFNoHkBGArFxYC8MA3gFAwUwBi66AXDAOQBmIIMUAFijAOYBOKAIZQ0URgBpylJAEEASg0aYh-DtxjAANiAhjJ0inIBaSlQC91PAK5gA1mBAB3MAYC+AblKkoCAA48ALLIYli4+ADSKAgQMER20SDMHP4oSfAhGDh4UF6gkLBCWjpOKAAmUTEMwahZ4VCVEADaALpxME0ARHLynRIw3bLGnS1epPnQMH78AJZgUACSzLLAwCh+UEKYWjxEABQoAB6i-GBFAMpQs2C8DNDXvACUcQB8JIYwM8l7RSXljQA6ObaaxlNAHY4oU4XK5zJ7PMiUJGacAQEA7AE6Xh7RC1KBhHJNI4nM5aS4PFqPLxItykWnTOaLZardabbYoPaMNFwFBcOGMR7eIA

Thanks @iDeBugger