Erlang 类型规范

【问题标题】：Erlang Types SpecificationsErlang 类型规范
【发布时间】：2011-01-14 22:54:39
【问题描述】：

最近看了couch-db的源码，发现这个类型定义看不懂：

-type branch() :: {Key::term(), Value::term(), Tree::term()}.
-type path() :: {Start::pos_integer(), branch()}.
-type tree() :: [branch()].

我确实看过Erlang doc，但是Start、Key、Value和Tree是什么意思>?据我了解，它们是 Erlang 变量！我在Erlang doc 中没有找到任何相关信息。

【问题讨论】：

标签： erlang

【解决方案1】：

Start 等只是术语各个部分的描述性名称，以使人们更容易阅读类型定义。它们与实际的变量名无关。

（旁注：不幸的是，即使在 OTP R14B 中，edoc 仍然不会读取 -type 和 -spec 来生成其 HTML 文档 - 它使用旧的 @type 和 @spec 代替。）

更新：official docs on -type and -spec。更多要搜索的内容是 success typing 这个词以及 dialyzer 和 typer 的手册。

【讨论】：