What's the status of Mojo for compile-time validation?
It sounds like there's great stuff going on in Mojo to bring some of Rust's memory safety guarantees without as much conscious effort as Rust requires.
I'm curious about compiling a (well-annotated) Mojo program. To what extend Mojo does catch errors (type mismatches, say) on compile the way a statically typed language does? If that's not happening these days, does anybody know where that is on the roadmap?
I'm curious about compiling a (well-annotated) Mojo program. To what extend Mojo does catch errors (type mismatches, say) on compile the way a statically typed language does? If that's not happening these days, does anybody know where that is on the roadmap?
