Hacker News new | ask | show | jobs
by zorobo 5 days ago
Ada from day 1: Subtype with checks: https://www.adaic.org/resources/add_content/standards/05rm/h...

`type Shoe_Size is new Integer` defines a type incompatible with `type Age is new Integer`