Zig would be an interesting contender back in the 1990's between Object Pascal and Modula-2, nowadays we know better. For me while Go is definitly better than

Zig would be an interesting contender back in the 1990's between Object Pascal and Modula-2, nowadays we know better. For me while Go is definitly better than Oberon(-2), and Oberon-07, some of its design decisions are kind of meh, still I will advocate for it in certain contexts, see TinyGo and TamaGo efforts. As old ML fanboy, you can find such tendencies on plenty of languages not only OCaml. :) I see Rust as a great way to have made affine types more mainstream, however I rather see the mix of automatic resource management + strong type systmems as a better way forward. Which is even being acknowledged by Rust's steering group, see Roadmap 2026 proposals.