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

**URL:** https://discourse.julialang.org/t/julia-with-respect-to-reliability-sustainability-critical-application-dynamic-static-typing-big-data-hpc/23135
**Category:** Performance
**Created:** [April 14, 2019, 11:44am UTC](https://discourse.julialang.org/t/julia-with-respect-to-reliability-sustainability-critical-application-dynamic-static-typing-big-data-hpc/23135 "2019-04-14T11:44:03Z")
**Posts on this page:** 1
**Showing post:** 29

<div class="post-metadata">

### Author: ![tkf](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/tkf/32/17635_2.png) [@tkf](https://discourse.julialang.org/u/tkf)
#### Post date: [April 19, 2019, 6:12am UTC](https://discourse.julialang.org/t/julia-with-respect-to-reliability-sustainability-critical-application-dynamic-static-typing-big-data-hpc/23135/29 "2019-04-19T06:12:04Z")

</div>

A static type checker like [mypy](https://github.com/python/mypy)/[pyright](https://github.com/Microsoft/pyright)/[pyre](https://github.com/facebook/pyre-check) would be great. But I know that “type checking” is actually listed in [Compiler work priorities](https://discourse.julialang.org/t/compiler-work-priorities/17623) so I suppose the core team is thinking about this as well.

---

_[View the full topic](https://discourse.julialang.org/t/julia-with-respect-to-reliability-sustainability-critical-application-dynamic-static-typing-big-data-hpc/23135)._