walk必须返回与输入相同的类型？

Question

我不清楚提供给outer的{​​{1}}函数应该如何工作。

此处引用的文档中的示例： https://docs.hylang.org/en/stable/contrib/walk.html

建议walk函数可以是outer，它将返回通过用first映射而生成的集合的第一个元素。

但是，当我尝试将结果汇总到inner（例如outer或sum）中时，出现如下错误-抱怨first不可迭代-查看源代码，我怀疑这是由于宏定义中的int：

(type form)

任何人都可以确认并建议是否有一种方法让((type form) (outer (HyExpression (map inner form))))向输入outer返回不同的类型吗？即是否可以像我期望的那样form提供列表(walk inc sum [1 2 3 4 5])的总和？

[2 3 4 5 6]

Answer 1

It's a bug.改为说(sum (map inc [1 2 3 4 5]))。