7 ms·

Ada from day 1: Subtype with checks: https://www.adaic.org/resources/add_content/standards/05rm/html/RM-3-5-4.html https://www.adaic.org/resources/add_content/

by zorobo 2mo ago

Ada from day 1: Subtype with checks: https://www.adaic.org/resources/add_content/standards/05rm/html/RM-3-5-4.html 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`