Re:Go bindings to Rust's regex engine
by pcwalton on Monday May 02, 2016 @03:47PM
(#11614900)
Some did (SPARK for example), but they sacrificed dynamic allocation (i.e. malloc). Rust's real innovation (in an industry sense) is safe dynamic allocation without GC.
[ Parent
| on HN ]
And I wish it manages to succeed, if it wasn't for Rust, the C++ Core Guidelines wouldn't be a thing.
> if it wasn't for Rust, the C++ Core Guidelines wouldn't be a thing
So in a way, Rust has already succeeded.
So, basically, the only thing that is ever dynamically allocated in SPARK is activation records? Sounds overly restrictive.