Comment by agumonkey
3 years ago
I wouldn't bet a single dollar on V improving to any qualitative level. It's been a surprisingly large transpiling hack. Graydon Hoare had some PLT knowledge before going on doing Rust, it's not just feature names and potential impl.
What are the qualitative levels in your opinion?
The V compiler is self hosting for example, there are useful examples done in the main repo, people are using it for writing web servers.
What it should do, to "qualify", and to qualify in what?
Formal semantics