Hacker News new | ask | show | jobs
by samth 270 days ago
No, this is exactly what is meant by soundness. Using the `Any` type in TypeScript can result in values that have type `integer` being actually strings, which is unsoundness.