关键字参数

h(f) = f(y: 1, x: 2)
h: |T: type|((y: Int, x: Int) -> T) -> T

带有关键字参数的函数的子类型化规则如下

((x: T, y: U) -> V) <: ((T, U) -> V) # x, y 为任意关键字参数
((y: U, x: T) -> V) <: ((x: T, y: U) -> V)
((x: T, y: U) -> V) <: ((y: U, x: T) -> V)

这意味着可以删除或替换关键字参数 但是你不能同时做这两件事 也就是说，您不能将 (x: T, y: U) -> V 转换为 (U, T) -> V 请注意，关键字参数仅附加到顶级元组，而不附加到数组或嵌套元组

Valid: [T, U] -> V
Invalid: [x: T, y: U] -> V
Valid: (x: T, ys: (U,)) -> V
Invalid: (x: T, ys: (y: U,)) -> V