Можно ли добавить информацию о типе в аргументы, являющиеся функциями?
Рассмотрим следующий пример:
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}