The biggest challenge right now to doing something like this is that the type of those functions isn’t ::Function(::Float64)::Float64, they are ::Function(f, ::Float64)::Float64 and ::Function(g, ::Float64)::Float64. For another recent post on the topic, see Proposal for a first-class dispatch wrapper - #2 by jameson.
1 Like