Могу ли я добавить информацию о типе в аргументы, которые являются функциями в Julia?

Question

Могу ли я добавить информацию о типе в аргументы, являющиеся функциями?

Рассмотрим следующий пример:

function f{T} (func, x::Int) 
    output = Dict{Int, Any}() 
    output[x] = func(x) 
    return output 
end 

мне не нравится, что я должен сказать Any для типа значения словаря. Я бы предпочел следующее:

function f{T} (func::Function{Int->T}, x::Int) 
    output = Dict{Int, T}() 
    output[x] = func(x) 
    return output 
end 

Могу ли я предоставить типы намеков на такие функции? Я хочу сказать следующее:

f :: (Int -> T), Int -> Dict{Int, T} 

Answer 1

В настоящее время нет. Однако мы можем добавить что-то в этом направлении в будущем.

Answer 2

Это не ответ на главный вопрос, но более действительно некрасиво Временное решение Any в Dict выпуске:

function f(func, x::Int) 
    T = code_typed(func, (Int,))[1].args[3].typ 
    output = Dict{Int, T}() 
    output[x] = func(x) 
    return output 
end 

Это, вероятно, не является эффективным и вероятно, будет работать только на простых случаи (которые даже не включают в себя анонимные функции), как

>>> g(x) = x*2 
>>> typeof(f(g, 1234)) 
Dict{Int64,Int64} 

>>> h(x) = x > zero(x) ? x : nothing 
>>> typeof(f(h, 1234)) 
Dict{Int64,Union(Int64,Nothing)} 

EDIT:

Это работает лучше:

function f(func, x::Int) 
    [x => func(x)] 
end 

>>> dump(f(x->2x, 3)) 
Dict{Int64,Int64} len 1 
    3: Int64 6