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?
3 Replies
fn type functions require type matches def functions don't. There will be compile time errors if you use the wrong type in a function.Thanks, mate!
Or simply, Mojo is a statically typed language.