When are the types checked for values and parameters?

[jonathanBieler]

I don’t remember exactly when type inference get run for the first time, but it’s easy to run it yourself on a method and get the return type (it’s also stored in the method itself once it has been run IIRC). You can check this thread too:

Enforcing function signatures by both argument & return types

I’d like to pass a function (f) to another function (g) but g expects f to take some specific types of arguments and return a specific type. Is it possible to enforce that statically? For example, g() expects f to take a single integer argument and return another integer. So the following code is valid: julia> foo(x::Int) = x + 1 foo (generic function with 1 method) julia> g(f, v::Int)::Int = f(v) g (generic function with 1 method) julia> g(foo, 10) 11 However, if I pass a function that d…