Julia has no dependent types

https://github.com/JuliaLang/julia/issues/6113

interesting debate