floating-point - R5RS中复数的“@”符号是什么意思

Question

解析数字时，我在 R5RS (7.1.1) 中找到以下规则

<complex R> -> <real R> @ <real R>

我已经搜索了整个文档，但是这种用法@在任何地方都找不到这种用法。

我想x@y等于(make-polar x y)（在 6.2.5 中找到）但仍然感到不舒服，因为在报告中没有找到它的定义。

有人可以指出可以确认这一点的相关文件吗？

Answer 1

R7RS，第 6.2.5 节（数字常量的语法）：

为非实数复数提供了两种符号：矩形符号 a +bi，其中a是实部，b是虚部；和极坐标符号 r @θ，其中r是幅度，θ是以弧度为单位的相位（角度）。这些通过等式a + b i = r cos θ + ( r sin θ )i 相关联。a、b、r和θ都是实数。

不过，我在 R5RS 中找不到等效的文本。:-(