3 ms·
YMMV, but Austral-lang (https://austral-lang.org/ https://austral-lang.org/) comes quite close to what I want out of a smaller, simpler, safer Rust. Its syntax
by ZoltanAK2 2y ago
YMMV, but Austral-lang (https://austral-lang.org/ https://austral-lang.org/) comes quite close to what I want out of a smaller, simpler, safer Rust.
Its syntax is inspired by Ada, and as far as I know the designer has no PhD in type theory, so it matches the requirements put forth by the other commenters too.