在Erlang中，您可以使用类型变量（例如
）进行参数化的类型声明-type dict(K, V) :: [{K,V}].
K, V是类型变量，即它们可以在后续类型声明或具体类型的函数规范中替换。 E.g。
-type catalog() :: dict(string(), integer()).
此处K替换为string()类型，V替换为类型integer()。
或者，它可以用在功能规范中，例如。
-spec find(string(), dict(string(), any())) -> any().
这是对的吗？