3 ms·
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 ec
by jstx1 5y ago
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.
- 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.