This statement: >> do everything both low-level and high-level together > This is very far from true. Like, not even the tiniest bit true Does not really ali

This statement: >> do everything both low-level and high-level together > This is very far from true. Like, not even the tiniest bit true Does not really align with: > It is easy to program in C++ or Rust and pay no attention at all to where allocations happen (This is what high-level languages offer) > It is totally allowed to drop to a C level of specification. (This is what I mean by low-level) I would also argue that in Rust the memory management unfortunately does affect the ergonomics of lambda and async, for example the need to explicitly pin memory. I really don't mean to criticize all the recent effort that has gone into Rust, it is certainly a huge improvement over C++. But it's far from perfect and I'm arguing that is probably not the fault of any of the individual choices, but rather the language goals. I would like to see a future where we use more specialised languages; rather than the many languages that can both peek/poke bytes and implement the full lambda calculus. More specialised, simpler, languages are much more amenable to static analysis and formal methods.