Erlangのタイプ仕様

Question

は、私は私が理解していないこのタイプの定義を見つけますキー,値およびツリー？私が理解しているところから、それらはErlang変数です！私はErlang docでこれに関する情報は見つかりませんでした。

Answer 1

Startなどは、人間が型定義を読みやすくするために、用語のそれぞれの部分の単なる説明的な名前です。彼らは実際の変数名とは関係がありません。

（サイドノート：。残念ながら、でもOTP R14Bに、edocはまだそのHTML文書を生成するための-typeと-specを読んでいない - それは代わりに古い@typeと@specを使用しています）

更新：official docs on -type and -spec。さらに検索する単語は、と入力してください。と、透析器とtyperのマニュアルがあります。