We could do all the Julia benchmarks and include compile time if you prefer.
Is running type inference problematic?
Never said it did.
The first bit of information you need, before you can begin your search for methods that dispatch on your object, is a) what the object is, and b) the fact that you are about to call a function on it. That’s what piping + fancy partial application syntax provide, in an order that’s convenient (and therefore accessible and likely to be used) for the human-machine interaction in question.
I’m not claiming to solve autocomplete, not by a long shot. I’m just hoping to get over one of the first hurdles so that it can be in reaching distance.
Perhaps I shall inform this person that they are not allowed to use autocomplete in Python, because it’s not statically typed.