Define a primitive data type: Difference between revisions
→{{header|ATS}}
Line 245:
There is a more serious downside. It is stated in [[#Ada|the Ada section]] that the Ada compiler is smart enough to know when to leave out bounds checks. In contrast, the ATS compiler will ''reject'' the program, unless it ''knows'' it can ‘leave out bounds checks’.
On the other hand, ''if you have no proof'' that a value is
=={{header|C sharp|C#}}==
|