[anna_hope]

Rust with a robust GC (strong type safety, great error handling paradigm, Option type) would probably be my ideal language.