|
|
|
|
|
|
by ihnorton
3626 days ago
|
|
|
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
[2] https://github.com/tonyhffong/Lint.jl |
|
|