[julia-users] Fully Typed Function As Argument Type

[Chris Kellendonk]

I'm new to the language so I may have missed something. But is there a way 
to make sure a function passed as an argument is of a specific type 
including it's arguments? It doesn't look like from the design of the 
language this could be supported but I'm curious.

For example I would like to be able to do:

function callme(handler::Function(Int32, Float64))
    handler(12, 0.2)
end

And the compiler would guarantee the correct type of function is called.

Thanks,