在erlang中映射-spec

Question

我正在寻找在项目中使用新的erlang地图,但我想确保-spec我所做的一切.所以我的问题是,这是什么语法？是否存在可以指定字段类型的记录？或者我只是使用map()(甚至是正确的类型规范？)

Answer 1

是的,map()是指定地图类型的一种方法.另一个是#{},它map()意味着任何大小的地图.您还可以#{ Type => Type }使用一Type => Type对或多对指定,如" Erlang类型和函数规范"页面中所述.此外,有一看can_pkt()在类型为maps1测试源代码中的Erlang源代码,作为一个指定像记录地图类型.