Comment by fault1

I would say there isn't a completely ideal language yet.

Perhaps if Julia and Typescript had a baby:

gradual typing

structural subtyping

multiple dispatch

interfaces with declaration merging