So true! A loop that crash at the first iteration of a zillion is quick as electricity in a NOR gate.
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,…
So true! A loop that crash at the first iteration of a zillion is quick as electricity in a NOR gate.
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,…