A simplified model of Fil-C

Re:A simplified model of Fil-C by omcnoe on Friday April 17, 2026 @08:35PM (#47812115)

If you can correctly add all the required explicit bounds checks in C what do you need Fil-C for?

[ Parent | on HN ]

Re:A simplified model of Fil-C by kimixa on Friday April 17, 2026 @09:43PM (#47812475)

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".

[ Parent | on HN ]

Re:A simplified model of Fil-C by uecker on Friday April 17, 2026 @09:25PM (#47812394)

For temporal memory safety.

[ Parent | on HN ]