Types 用Erlang编写规范指南

在开源项目中，我看到了以下两种编写规范的方法：

注释中的规范

@spec start_link() -> {ok, pid()}

源代码中的规范

-spec start_link() -> {ok, pid()}

有什么区别？注释（

@spec

）版本早于源代码（

-spec

）版本。后者更可取

根据：

注意：尽管下面描述的语法仍然可以使用 对于指定函数，我们建议将Erlang规范作为 应将中所述的添加到 而不是源代码。通过这种方法，可以对透析器进行分析 用于保持文件一致性和 最新的除非另有说明，否则将使用Erlang规范 函数规范（一个@spec标记，后跟一个类型）与 名字