Define a primitive data type: Difference between revisions
→{{header|ATS}}
m (→{{header|ATS}}) |
|||
Line 193:
=={{header|ATS}}==
Runtime bounds checking is expensive, so code ''given to the user'' typically has such checks turned off! The user is getting a dangerous version of the program.
Also, the programmer cannot discover violations except by running the program.
Is it not better, if possible, to have ''the compiler'' detect the mistake?
<lang ats>(*
| |||