1. It’s designed by mathematicians specifically for math.
2. It has much better support for generic/runtime types, something the academics apparently describe using the terms “parametric polymorphism” and “multi-dispatch”.
Plus there’s this cute founding ethos blog post from 2012, though it’s necessarily vague: https://julialang.org/blog/2012/02/why-we-created-julia/
None of that sounds even close to convincing me to switch from Python, but I can see the appeal for people who value those typing features and want something faster.
I don’t necessarily see the connection between either of those things and the implementation above, tho… presumably it’s basically instant, anyway?
def from_offset(n: int): return n+1
Well-typed (or sightly-better-typed) programming ftw.