3 ms·
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 chec
by mama_scorpion 4y ago
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.
- touisteur 4y agoI'm following the work of the rust compiler team these days, they're trying to leverage all rust frontend guarantees to perform better optimisations.
- aidenn0 4y agoThis is only true if your C code is as correct as your Ada/SPARK code. Incorrect software can run faster than correct software...
- mama_scorpion 4y agoSo true! A loop that crash at the first iteration of a zillion is quick as electricity in a NOR gate.