parsing - R5RS 方案中未加引号的向量

Question

我正在尝试编写一个方案解析器作为练习，但我不确定如何实现向量语法。 specification好像说明输入向量的方式是'#(1 2 3)这样一个向量应该评估为 #(1 2 3) .然而，当我在几个 Scheme 实现中进行实验时，#(1 2 3)也被接受为有效输入。这是对规范的普遍实现的扩展吗？

Answer 1

根据 R5RS 规范，必须引用向量:

Note that this is the external representation of a vector, not an expression evaluating to a vector. Like list constants, vector constants must be quoted:

'#(0 (2 2 2 2) "Anna") 

一些实现选择允许评估未引用的向量，但任何此类扩展都是非标准的，并且是该特定实现的“功能”。

对于它的值(value)，即将到来的 R⁷RS spec明确要求向量进行自我评估:

Vector constants are self-evaluating, so they do not need to be quoted in programs.