[dozzie]

Ada. For C replacement (imperative and compiled to ELF) that (a) can link reasonably well through C to other languages, (b) is not entangled scary mess of half-random syntax and historical features (C++), and (c) has a type system that I can lean on instead of constantly keeping an eye on (C) or fight against (Rust's borrow checker).

[fuball63]

I'm a big fan of Ada, and I dabble with it whenever I can. All of the features you mention are great about it; just be warned that there's not a whole lot of learning material online.

[dozzie]

Yeah, I figured, but I think I'll manage with Mordechai Ben-Ari's book (Ada 2005), John Barnes' book (Ada 2012), and Ada Reference Manual (I'm kind of used to reading specifications).

Given that I mostly write network servers for running on Linux/Intel, which is not too popular topic among Ada crowd, I would need to develop my own strategies and patterns even if I got my hands on typical printed materials for Ada.