3 ms·Ada/SPARK for anything that modifies a currency value, because safety is worth a few microseconds overhead.by synack 7y agoAda/SPARK for anything that modifies a currency value, because safety is worth a few microseconds overhead.