types - Elixir 类型规范中的参数化可枚举类型

Question

是否可以参数化 Enumerable.t输入 Elixir ？

所以目前我有一个函数可以获取 foo 的列表年代:

@spec the_awesome([foo]) :: any
def the awesome(foos) do
  Enum.reduce(foos, &(bar(&2, &1)))
end

真的，它不必是一个列表!因为唯一的函数调用来自 Enum模块我想更改 typespec 以采用任何 Enumerable，但保留 Enumerable 必须完全由 foo 组成的要求s

就像是

@spec the_awesome(Enumerable.t(foo)) :: any

这可能吗？

Answer 1

不幸的是，现在不行。如果我们真的希望它们具有表达性并且没有这样做的计划，我们将需要教透析器如何处理协议(protocol)。