Erlang Typespecs在Core Erlang中的编码规范咨询

• Core Erlang官方规范未公开专门针对Typespecs的转换细则，但从编译产物来看，用户定义的类型（如datum()）和函数spec均以模块属性的形式存储在Core代码中。
• 具体编码规则（基于编译器内部约定）：
  • 自定义类型会被封装为attribute节点，键为type，值包含类型名、参数列表及类型定义的抽象语法树（AST）
  • 函数spec对应spec类型的attribute节点，内容涵盖目标函数的名称、元数，以及输入输出的类型AST结构
• 这些属性的结构并非标准化公开规范，但可通过分析Erlang编译器源码（如erl_types、erl_lint模块）明确转换逻辑——编译器在转译时基本保留类型信息的原始AST，仅做适配Core语法的格式调整。
• 需注意：这类属性属于元数据，不会影响Core Erlang代码的执行逻辑，仅用于静态分析、文档生成或类型检查工具（如Dialyzer）读取。

内容的提问来源于stack exchange，提问作者Duncan Paul