Nix 语言中有效标识符的语法是什么？

Question

在任何地方都找不到语言规范，基本上是Nix source? repo 的 README 引用了Nix manual，但似乎不完整。例如，Nix Pills 中的4.2. Identifiers 提到可以使用破折号 (-)，而手册甚至从未提及标识符语法。

Answer 1

可能有更好的参考，但至少你可以查看lexer的来源，它定义了一个标识符

ID          [a-zA-Z\_][a-zA-Z0-9\_\'\-]*

作为由 ASCII 字母、数字、_、' 或 - 组成的字符串，并以字母或 _ 开头。

---

（更新：这引用了一个过时的参考语法，而不是有效的语法。）

根据grammar，标识符不能包含-：

  <production id="nix.id">
    <lhs>Id</lhs>
    <rhs>[a-zA-Z\_][a-zA-Z0-9\_\']*</rhs>
  </production>

但路径可以：

  <production id="nix.path">
    <lhs>Path</lhs>
    <rhs>[a-zA-Z0-9\.\_\-\+]*(\/[a-zA-Z0-9\.\_\-\+]+)+</rhs>
  </production>

我不完全确定是什么评估过程导致 REPL 将语法上有效的路径报告为未定义变量。