4 ms·
There's no dynamic memory allocation with (100%) Spark. That's really limiting. You can to write "unsafe" code, but that has the same problems as Ada.
by tgv 8mo ago
There's no dynamic memory allocation with (100%) Spark. That's really limiting. You can to write "unsafe" code, but that has the same problems as Ada.
- potato-peeler 8mo agoThat is true for parsers like libjs, but again crypto module or even networking, can still be written in spark, which is much more safety critical.
- Rochus 8mo agoSPARK is not used for the whole system, but for the < 5% parts, which are safety/security-related in a good architecture.
- Findecanor 8mo agoI thought SPARK got dynamic memory allocation when it adopted Rust-style ownership and borrowing in 2014.