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.
Post #128
4.79K
- 🤔 7
- 👍 1
- 👎 1
- Apr 25, 2025Playground @js_monk Thanks for sharing this madness!
- Mar 11, 2025TypeScript decided to commit sudoku by rewriting its compiler in an even worse language: G…
- Mar 7, 2025Also this was about running DOOM in types https://www.youtube.com/watch?v=0mCsluv5FXA
- Mar 7, 2025That's it.
- Jan 27, 2025photo post
- Jan 25, 2025Eh?