generics - Elixir:定义映射/哈希字典的类型规范

Question

在具有泛型的静态类型语言(例如 C#)中，我可以在方法签名中指定映射的每个键都是一个原子，每个值都是 {string, int} 元组的列表。如何像 Elixir 中那样定义函数参数的类型规范？

PS:如果您正在阅读本文并拥有 >1500 的评分，请您创建一个类型规范标签。

Answer 1

你可以像这样定义它:

@type bar :: %{atom => [{binary, integer}]}

@spec foo(bar) :: bar
def foo(bar), do: bar

上面定义了一个新类型，它是原子键到二进制/整数元组列表的映射，然后在 foo 的类型规范中使用该类型。