Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: