i agree, this is without a doubt the number one thing that julia needs. nearly every dynamic language has trended towards this in the last 7-8 years. it's prob

i agree, this is without a doubt the number one thing that julia needs. nearly every dynamic language has trended towards this in the last 7-8 years. it's probably had the most profound effect in modern Javascript (typescript) and python. It's incredible how different production javascript and production python are compared to say, 2014 javascript or 2014 python. JET.jl is a interesting project to do some error analysis through abstract interpretation: https://aviatesk.github.io/JET.jl/dev/jetanalysis/ https://aviatesk.github.io/JET.jl/dev/jetanalysis/ more so than the goals of JET itself, the abstract interpretation framework it exposes should allow for TypeScript-like gradual typing. This is important, imho, if Julia is ever to go out of a niche area because most of the rest of the world has already moved on to see the benefit that the improvement in application reliability that static analysis allows.