5 ms·

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 be

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.

delian66 4y ago
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?
- agumonkey 4y ago
  Formal semantics