|
|
|
|
|
|
by cben
1188 days ago
|
|
|
https://3fx.ch/typing-is-hard.html is a neat summary, and yes the situation is worse than most programmers would guess:
Most industry languages, including "boring" reliable ones like C++, Java or Rust have _undecidable_ type systems;( and quite a few are unsound as well.) This doesn't mean type systems are useless! But as GP said there are tradeoffs, and suspiciously many language designers gave up "clean" properties like guaranteed-terminating compiler, or you know actually guaranteeing run-time safety... BTW, TypeScript documents where it's unsound and why consciously made those choices: https://www.typescriptlang.org/docs/handbook/type-compatibil... |
|
|