Question

例如，如何在ATS中写下与C中的以下代码相对应的内容：

void myloop(int n)
{
   int i;
   for (i = 0; i < n; i += 1) printf("i = %i\n", i);
   return;
}

Answer 1

可以用非常接近C版本的方式复制它：

fun myloop (n: int): void = let
    var i: int
in
    for (i := 0; i < n; i := i + 1) begin
        println! ("i = ", i)
    end
end

一个小警告：据我所知，print和println中没有格式字符串支持。

Answer 2

如果您喜欢组合器，请试试这个

//
staload "share/atspre_staload.hats"
staload "share/HATS/atspre_staload_libats_ML.hats"
//
fun myloop(n: int): void =
  (n).foreach()(lam i => $extfcall(void, "printf", "i = %i\n", i))
//

编译代码时，需要标志-DATS_MEMALLOC_LIBC。你可以在这里试试代码：

https://glot.io/snippets/ejjr3j1pil

Answer 3

在函数式编程中执行此操作的标准方法是实现尾递归函数：

fun myloop
  (n: int): void = let
  fun myloop2
    (n: int, i: int): void =
    if i < n then (println! ("i = ", i); myloop2(n, i+1)) else ()
  // end of [myloop2]
in
  myloop2(n, 0)
end // end of [myloop]

如何在ATS中构建循环？

3 个答案: