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>]"