It is unmaintained now, but you might want to have a look at [1], which builds on the type inference system to add some static checks. I believe there may also

It is unmaintained now, but you might want to have a look at [1], which builds on the type inference system to add some static checks. I believe there may also be some related work in [2]. > Then again, maybe nobody else has these issues and I'm just bad at deducing when AbstractVector can't be used. Nope, not just you. This is definitely an issue. [1] https://github.com/astrieanna/TypeCheck.jl https://github.com/astrieanna/TypeCheck.jl [2] https://github.com/tonyhffong/Lint.jl https://github.com/tonyhffong/Lint.jl