I am not a Julia user, can the compiler optimize away the run-time type checking when `foo`'s argument is not easily known at compile time? e.g., foo(function_which_returns_dynamic_type())
I am not a Julia user, can the compiler optimize away the run-time type checking when `foo`'s argument is not easily known at compile time? e.g., foo(function_which_returns_dynamic_type())