alt Hacker NewsIf you can correctly add all the required explicit bounds checks in C what do you need Fil-C for?
Replies
uecker • today at 1:25 AM
For temporal memory safety.
If you can correctly add all the required explicit bounds checks in C what do you need Fil-C for?
For temporal memory safety.
Same reason any turing complete language needs any constructs - to help the programmer and identify/block "unsafe" constructs.
Programming languages have always been more about what they don't let you do rather than what they do - and where that lies on the spectrum of blocking "Possibly Valid" constructs vs "Possibly Invalid".