3 ms·
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 rat
by ummonk 5y ago
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.
- jstx1 5y agoThat'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.
- ummonk 5y agoSome 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.
- BadInformatics 5y agoTo your point about static analysis, https://github.com/aviatesk/JET.jl https://github.com/aviatesk/JET.jl appears far more capable than comparable systems for other dynamic languages.