3 ms·
Wouldn't SPARK (and Ada) be better suited for WebAssembly than rust? Because SPARK is built to be formally provable and Ada being pretty damn safe?
by OpenBSD-empire 8y ago
Wouldn't SPARK (and Ada) be better suited for WebAssembly than rust? Because SPARK is built to be formally provable and Ada being pretty damn safe?
- steveklabnik 8y agoI haven’t heard of any implementation. It can’t be better if it doesn’t exist.