> practitioners are exploring how to make incorrect code unrepresentable.

I'll say it again and again and again: Rust is the best language for ML right now.

You get super strict, low-defect code. If it compiles, that's already in a way a strong guarantee.

Rust just needs to grow new annotations and guarantees. "nopanic", "nomalloc", etc., and it would be perfect. Well, that and a macro-stripped mode to compile faster. I'd happily swap AOT serde compilation (as amazing as Serde is) for permanent codegen that gets checked in and compiles fast.