我希望在项目中使用新的 erlang 映射，但我想确保正确 -spec我所做的一切。所以我的问题是，它的语法是什么？有没有类似记录可以指定字段类型的东西？或者我只是使用 map() (那甚至是正确的类型规范吗？)
最佳答案
是的，map()是指定 map 类型的一种方式。另一个是#{} , 喜欢 map()表示任意大小的 map 。您也可以指定 #{ Type => Type }与一个或多个 Type => Type对，如 Erlang Types and Function Specifications page 中所述.另外，看看 can_pkt()输入 source code for the maps1 test在 Erlang 源代码中，因为它指定了一种类似记录的映射类型。
关于erlang 中的映射规范，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24023980/