The most important distinction in a language is

whether it has GC or not.

>>13
1. Still with some arbitrary definition of ``verified``, and nobody uses it.
2. Rust has a proper FFI mechanism which gives you access to all C libraries ever, if you don't mind rewriting a few function signatures.
3. Don't do things like this. Use your own opinions. You are not twitter.