| 1 |
Frank Peters <frank.peters@×××××××.net> skribis: |
| 2 |
> How difficult would it be to introduce bounds checking on all |
| 3 |
> C arrays as with some other languages? Would bounds checking |
| 4 |
> reduce the efficiency and speed of C, as these are probably |
| 5 |
> its most desired characteristics? C is essentially only one |
| 6 |
> small step away from machine language and that's why it's |
| 7 |
> preferred for systems programming. |
| 8 |
|
| 9 |
ATS allows the writing of code that prevents buffer overruns, |
| 10 |
_without_ bounds checking. The ‘bounds checking’ is done by the type |
| 11 |
system; you will get a compile-time error. |
| 12 |
|
| 13 |
Most programming errors are type errors in some language that people |
| 14 |
are not using. |
Archives