Hacker News Reader

The issues with the type system and weak static analysis are the biggest gripes for me. The other features of Julia still make using it worthwhile, but it's rather frustrating to code compared to any language with good static type inference and a powerful type annotation system.

View on HN

That's one of those things that are never going to change. Julia's very specific type system is one of the major features and so much of the language and the ecosystem is build around it.

Some issues are fundamental, sure, but I would guess there is a lot of room for improvement still.

Abstract interfaces seem perfectly compatible with the type system, for example. I think the situation with traits could be improved somewhat as well.

And there is no question that the situation for static analysis could be improved without having to overhaul Julia's type system.

To your point about static analysis, https://github.com/aviatesk/JET.jl appears far more capable than comparable systems for other dynamic languages.

Reply on news.ycombinator.com