erlang地图-spec

Question

我希望在一个项目中使用新的erlang地图，但我想确保正确地-spec我所做的一切。所以我的问题是，这个的语法是什么？是否有类似于“记录”的内容可以指定字段类型？或者我只是使用map() (这是正确的类型规范吗？)

Answer 1

是的，map()是一种指定映射类型的方法。另一个是#{}，它和map()一样，意味着任何大小的地图。您还可以使用一个或多个#{ Type => Type }对指定Type => Type，如Erlang类型和功能规范页面中所述。另外，查看Erlang源代码中的can_pkt()类型，因为它指定了一个类似记录的映射类型。