在 Julia 中，您可以指定可调用 function 参数的参数和返回值吗？

Question

在 Python 中，您可以指定 arguments 并为传递给另一个 function 的可调用对象返回值（参考）。 例如：

def foo(
    bar: Callable[[str],int], # a function that takes a string as an argument and returns an int 
    baz: List[str] # a list of strings
    ) -> List[int]: # returns a list of ints
    return [bar(s) for s in baz]

foo(len,["hello","world!"]) # apply the len function to the list of strings
# [5, 6]

如何在 Julia 中编写等效于Callable[[str],int]的内容？

Answer 1

在 Julia 中没有这样做的机制。 Julia 和 Python 都不会静态地强制执行函数的类型签名。 In Julia the preference is to leave your function arguments as generic as possible, so most of the time you might as well leave generic the argument that excepts a function, like this:

foo(f, s) = map(f, s)

尽管有时人们会这样注释f参数：

foo(f::Union{Function, Type}, s) = map(f, s)

Type包含在联合中，因为并非所有可调用对象都是Function的子类型，例如查看手册中的Function-like objects 。

It is possible to annotate the output type of a function, but all this really does is attempt to convert the return value to the specified output type, so you might get a runtime conversion error if your function does not return the type that you've注释它。

output 类型的注释通常是多余的。 考虑这段代码：

bar(x::Int)::Int = 2x

如果我们查看降低的代码，我们可以看到已添加到代码中的额外类型转换：

julia> @code_lowered bar(42)
CodeInfo(
1 ─ %1 = Main.Int
│   %2 = 2 * x
│   %3 = Base.convert(%1, %2)
│   %4 = Core.typeassert(%3, %1)
└──      return %4
)

但是，在这种情况下，编译器足够聪明，可以确定当输入是 integer 时，output 将是 integer 并且不需要转换：

julia> @code_llvm bar(42)

;  @ REPL[1]:1 within `bar'
define i64 @julia_bar_788(i64) {
top:
; ┌ @ int.jl:87 within `*'
   %1 = shl i64 %0, 1
; └
  ret i64 %1
}

事实上，我们看到bar已经简化为向左移位操作。

julia> bar(42)
84

julia> 42 << 1
84