Julia with respect to reliability, sustainability, critical application, dynamic/static typing, big data, HPC?

A static type checker like mypy/pyright/pyre would be great. But I know that “type checking” is actually listed in Compiler work priorities so I suppose the core team is thinking about this as well.