Erlang ejabberd-mnesia表记录定义:“引用”:二进制();

Erlang ejabberd-mnesia表记录定义:“引用”:二进制();,erlang,ejabberd,mnesia,Erlang,Ejabberd,Mnesia,我试图理解记录定义中存在的但并不真正理解的::binary()的含义和目的。如果有人能帮助我理解这一点,我将不胜感激 示例:这是一个类型声明。这在中进行了描述 这意味着该记录字段的值应该是二进制的。由于Erlang是一种弱类型语言,编译器并不关心这一点,但有一个名为的静态类型检查器,它试图在代码中找到将二进制以外的内容放入该字段的位置,或者期望该字段包含二进制以外的内容 有关型号规格和透析器的详细介绍,请参阅。这是一份型号声明。这在中进行了描述 这意味着该记录字段的值应该是二进制的。由于Erla

我试图理解记录定义中存在的但并不真正理解的::binary()的含义和目的。如果有人能帮助我理解这一点,我将不胜感激


示例:

这是一个类型声明。这在中进行了描述

这意味着该记录字段的值应该是二进制的。由于Erlang是一种弱类型语言,编译器并不关心这一点,但有一个名为的静态类型检查器,它试图在代码中找到将二进制以外的内容放入该字段的位置,或者期望该字段包含二进制以外的内容


有关型号规格和透析器的详细介绍,请参阅。

这是一份型号声明。这在中进行了描述

这意味着该记录字段的值应该是二进制的。由于Erlang是一种弱类型语言,编译器并不关心这一点,但有一个名为的静态类型检查器,它试图在代码中找到将二进制以外的内容放入该字段的位置,或者期望该字段包含二进制以外的内容

有关typespecs和透析器的详细介绍,请参见。

您是指typespecs()?您是指typespecs()?