> So that only really leaves ATS and Rust, and rules out Nim, D, Zig, Jai
I don't have a problem with GC so Nim/D are on the table. ATS is a pain in the ass but after the arrival of Rust it's pretty clear that linear/affine types can be user-friendly. There's no excuse any more.