Re:Rust and WebAssembly in 2019
by OpenBSD-empire on Sunday December 16, 2018 @02:30AM
(#18692159)
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?
[ Parent
| on HN ]
Re:Rust and WebAssembly in 2019
by steveklabnik on Sunday December 16, 2018 @04:03AM
(#18692356)
I haven’t heard of any implementation. It can’t be better if it doesn’t exist.