julia - 我可以在类型为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

不是现在。但是，将来我们可能会沿着这些思路添加一些内容。