DeVault: Announcing the Hare programming language

Reading through this post on mistakes that you've linked to, saving for once it gets into the weeds with operator overloading and generics and threading (all of which is absent in Hare), all of the same limitations enforced by Rust are also enforced by Hare. For example, Hare detects unreachable code and considers it a compile-time error, and enforces initializers for all globals/variable bindings.