Comment by marcuspolo

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())