ST4 使用索引迭代列表

Question

所以我有一个像这样迭代的列表：

body(foo) ::= "<foo:{it|<\n><\n><bar(it)>}>"

bar(x) ::= "[<x.key>:<x.value>]"

我想使用索引。

bar(x) ::= "[<i0>:<x.key>:x.value>]"

我看到有一个<i> 和<i0> 索引令牌，但我不明白它是如何使用的，或者它是否可以用来做我想做的事情。

Answer 1

好的，如果你有一个函数，那么诀窍是传递<i> 或<i0>，但我是在迭代器中隐式可用：

 body(foo) ::= "<foo:{it|<\n><\n><bar(i0,it)>}>"

 bar(i,x) ::= "[<i>:<x.key>:<x.value>]"