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

[chakravala]

@Tamas_Papp

My understanding is that in Julia, types are mostly used for dispatch, and by the compiler, but not for enforcing anything.

A new keyword like inductive type could be used to generalize Julia from only type dispatch to make julia able of more general proofs.