標量型別

除列舉和模組化整數之外的所有標量型別定義都可以包括範圍約束。

範圍約束指定要包括在型別中的值集的下限和上限。對於定點型別，指定範圍是強制性的：這些型別的值將被理解為兩小部分的倍數，例如 1/2 5 。這些分數越小，表示越精確，代價就可以使用可用位元來表示。

可以給出型別定義的其他方面，例如以位為單位的期望的 Size 和其他表示項。Ada 2012 增加了基於合同的程式設計方面，如 Static_Predicate。