mojo_hub 听起来 Mojo 正在做一些很棒的事情，可以带来 Rust 的一些内存安全保证，而无需像 Rust 所需要的那样有意识地付出努力。 我对编译一个（注释良好的）Mojo 程序感到好奇。 Mojo 在多大程度上可以像静态类型语言那样在编译时捕获错误（例如类型不匹配）？如果现在没有发生这种情况，有人知道路线图上的位置吗？
mojo_hub 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.