Earlier quoted context omitted.
There are a few new languages competing for the title of “better Python,” i.e., a language with Python-inspired syntax, optional typing, and native compilation. Julia is trying to be a “better Python” for mathematical and scientific computing, and Nim is aiming to be a better general purpose Python. Nim predates Julia by a few years, but there’s a lot of excitement around Julia these days.
I've tried both and I don't think they are better than Python. For one, they don't do integer arithmetic correctly by default: julia> 2^64 -9223372036854775808 To me, that is simply not ok. The point of HLLs is that details like sizes of hardware registers shouldn't matter.
So it's not that your point isn't valid, but it can't be extrapolated to general safety or high-level-ness; this is a really specific feature to rest your decision on. Arguably Julia has an advantage here because you can easily check correctness of an algorithm using arbitrary precision types and then use machine types in production, which is pretty handy.