Hacker News new | ask | show | jobs
by throw10920 1372 days ago
> Expect<Equal<Hello, "World">>

This seems like a great time to bring up "Why Static Languages Suffer From Complexity"[1], which explains the "statics-dynamics biformity" that leads to languages like TypeScript that are actually two languages: the runtime one and the compile-time type-system one.

[1] https://hirrolot.github.io/posts/why-static-languages-suffer...