嵌套哈希的Sorbet签名

Question

我有一个解析YAML文件的方法。返回的对象是嵌套的Hash，其中键始终是字符串，叶值始终是字符串，例如

{
    "a" => "foo",
    "b" => {
        "c" => "bar",
        "d" => "baz"
    }
}

我事先不知道哈希值有多深。

我最接近输入返回值的是下面的签名：

T.any(T::Hash[String,String], T::Hash[String,T::Hash[String, T.untyped]])

这显然是一个糟糕的解决方案，因为它没有检查第二个嵌套下面的任何内容，但是关于自定义类型的文档似乎有点稀疏。

有没有办法使用自定义类型、嵌套类型或类似的东西来类型化嵌套哈希？

Answer 1

不幸的是，除了这一点，你不能做更多的事情。即使支持Shapes，它们也只是一个实验性的特性。

如果你真的想使用散列，你可以这样表达：

MyType = T.type_alias {T::Hash[String, T.any(String, T::Hash[String, T.untyped])]}

或者，您可以使用T::Struct

class MyType < T::Struct
  const :key, String
  const :value, T.any(String, MyType)
end

您仍然不确定value的类型是什么，但是使用flow sensitivity，应该可以很容易地处理结构：

class Processor
  extend T::Sig
  
  sig {params(my_object: MyType).returns(String)}
  def process(my_object)
    key = my_object.key
    obj_value = my_object.value # this is needed for flow sensitivity below
    value = case obj_value
    when String
      value
    when MyType
      process(obj_value)
    else
      T.absurd(obj_value) # this makes sure that if you add a new type to `value`, Sorbet will make you handle it
    end
    return "key: #{key}, value: #{value}"
  end
end