Is There a Level Between Type Check and Loading?

The ideal world is where you have a function defined and then the invoke invocations are right there Other than the same file or nearby local program the type system can know exclusively how it's being called. The next level from this is not actually what you just described. There's another level which is The data coming in is not even complex enough Let's say to get its own types Or whatever like if you actually just think about someone calling your function From another place that's not in the same program Like you can have Correct implementation that type checks based on the arguments being a number But as soon as the caller is is calling it from a different location If you like deploy this ad function and it gets