ruby - 如何指定类型参数

Question

如何使用sorbet指定类型参数？

例如，我想用 A 类型的参数注释一个返回泛型类型 T[A] 的方法。

def build_array(value) 
  [value]
end

输出类型取决于输入类型:

build_array(42) #=> return Array[Integer]
build_array('42') #=> return Array[String]

Answer 1

您可以使用 type_parameters 完成此操作:

# typed: true
extend T::Sig

sig do
  type_parameters(:T)
  .params(value: T.type_parameter(:T))
  .returns(T::Array[T.type_parameter(:T)])
end
def build_array(value) 
  [value]
end

x = build_array(5)
T.reveal_type(build_array(42))   # T::Array[Integer]
T.reveal_type(build_array('42')) # T::Array[String]

这是一个 sorbet.run link with the above code .