ats - 如何在 ATS 中的给定列表上编写循环？

Question

假设我有一个列表 xs。如何在 ATS 中编写以下循环样式:

foreach x in xs do process(x)

Answer 1

您可以使用旧的 DIY 风格(也:经典的 ATS 风格)，也就是说，使用尾递归函数。这是一个例子:

extern
fun
process (x: int): void
fun
loop {n:int} (xs: list(int, n)): void =
  case+ xs of
  | list_nil () => ()
  | list_cons (x, xs1) => let
    val () = process (x)
  in
    loop (xs1)
  end
// end of [loop]

您可以运行完整代码 online

如果 ATSLIB 等库中提供的组合器或模板函数都不适合您的情况，我认为这种方法更可取。