Java通过Scala宏的有效命令循环？

Question

Scala宏将良好类型的术语作为参数而不是任意AST,因此使用它们做某些事情并不明显,特别是引入新的绑定表单.

假设我想要一个新的Scala命令用于循环,它可以去尾递归或者循环.例如,这个:

for_imp (i <- 1 to 10) {
  /* work */
}

会厌倦这个:

{
   var i = 1
   while (i <= 10) {
     /* work */;
     i += 1
   }
}

或这个:

@tailrec def loop(i: Int): Unit =
   if (i <= 10) {
      /* work */;
      loop(i + 1)
   }
loop(1)

由于我们不能引入新的绑定i,这种方法是否有意义:创建一个for-opt映射expr[Unit]到的新表单expr[Unit]; 如果它的论点碰巧有正确的形式for,优化它,否则不管它:

for_opt(e: expr[Unit]): expr[Unit] =
  e match {
    case /* for loop */ => /* transform */
    case e => e
  }

for在Scala中实现Java高效命令循环的自然方法是什么？