Re: Boycott Systemd

Frank Peters <[email protected]> skribis:
> How difficult would it be to introduce bounds checking on all
> C arrays as with some other languages?  Would bounds checking
> reduce the efficiency and speed of C, as these are probably
> its most desired characteristics?  C is essentially only one
> small step away from machine language and that's why it's
> preferred for systems programming.

ATS allows the writing of code that prevents buffer overruns,
_without_ bounds checking. The ‘bounds checking’ is done by the type
system; you will get a compile-time error.

Most programming errors are type errors in some language that people
are not using.