Sync

Task/Loops-For/Chapel/loops-for.chapel

@@ -0,0 +1,4 @@
+for i in 1..5 {
+        for 1..i do write('*');
+        writeln();
+}

Task/Loops-For/Coq/loops-for.coq

@@ -0,0 +1,23 @@
+Section FOR.
+  Variable T : Type.
+  Variable body : nat -> T -> T.
+  Variable start : nat.
+
+  Fixpoint for_loop n : T -> T :=
+    match n with
+    | O => fun s => s
+    | S n' => fun s => for_loop n' (body (start + n') s)
+    end.
+
+End FOR.
+
+Eval vm_compute in
+  for_loop _
+    (fun i =>
+      cons
+        (for_loop _
+          (fun j => cons tt)
+          0 (S i) nil
+        )
+    )
+    0 5 nil.

Task/Loops-For/Run-BASIC/loops-for.run

@@ -0,0 +1,6 @@
+FOR i = 1 TO 5
+   FOR j = 1 TO i
+      PRINT "*";
+   NEXT j
+   PRINT
+NEXT i