Hacker News new | past | comments | ask | show | jobs | submit login

Ada/SPARK is a strong typed C with visibility done correctly. (you know the "private" notion in C++ ... and sane scoping using semantic grade packages) All checks in Ada/SPARK can be removed so essentially you end up, in production, with code as performant as C.



I'm following the work of the rust compiler team these days, they're trying to leverage all rust frontend guarantees to perform better optimisations.


This is only true if your C code is as correct as your Ada/SPARK code. Incorrect software can run faster than correct software...


So true! A loop that crash at the first iteration of a zillion is quick as electricity in a NOR gate.




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: