Erlang 的 typer 推断出奇怪的字符串类型

Question

我正在探索 typer，并给了它一个除了以下之外什么都不做的函数：

const_str() -> "qwe".

那家伙的类型推断为：

-spec const_str() -> [101 | 113 | 119，...]

，即“eqw”（嗯？！），然后是这个 '...' 业务。

看起来常量字符串令人困惑typer;我知道我不应该这样使用它们，有原子用于此目的；但是当我试图围绕 typer （以及 Erlang 的类型选项）时，我认为这是令人惊讶和有趣的。谁能解释这里发生了什么？ 谢谢！

Answer 1

1. Erlang 中的字符串是与字符的 ASCII 码相对应的整数列表（即"qwe" = [$q,$w,$e] = [113,119,101]）。
2. 类型语言无法表达列表元素的顺序（并且不打算这样做）。
3. 你得到的类型是“一个包含数字 101、113 和 119 的非空列表”，这是推理所能得到的最接近的类型。