Skip to main content

Iterative

π-calculus has a notion of the repetitive process: !P = P | !P. That means, you can always fork a new P process if you need it.

In Aqua, two operations correspond to it: you can call a service function (it's just available when it's needed), and you can use for loop to iterate on collections.

for expression

In short, for looks like the following:

aqua
xs: []string
for x <- xs:
y <- foo(x)
-- x and y are not accessible there, you can even redefine them
x <- bar()
y <- baz()
aqua
xs: []string
for x <- xs:
y <- foo(x)
-- x and y are not accessible there, you can even redefine them
x <- bar()
y <- baz()

Contract

  • Iterations of for loop are executed sequentially by default.
  • Variables defined inside for loop are not available outside.
  • for loop's code has access to all variables above.
  • for can be executed on a variable of any Collection type.

Conditional for

For can be executed on a variable of any Collection type. You can make several trials in a loop, and break once any trial succeeded.

aqua
xs: []string
for x <- xs try:
-- Will stop trying once foo succeeds
foo(x)
aqua
xs: []string
for x <- xs try:
-- Will stop trying once foo succeeds
foo(x)

The contract is changed as in Parallel flow.

Parallel for

Running many operations in parallel is the most commonly used pattern for for.

aqua
xs: []string
for x <- xs par:
on x:
foo()
-- Once the fastest x succeeds, execution continues
-- If you want to make the subsequent execution independent from for,
-- mark it with par, e.g.:
par continueWithBaz()
aqua
xs: []string
for x <- xs par:
on x:
foo()
-- Once the fastest x succeeds, execution continues
-- If you want to make the subsequent execution independent from for,
-- mark it with par, e.g.:
par continueWithBaz()

The contract is changed as in Conditional flow.

Export data from for

The way to export data from for is the same as in Conditional return and Race patterns.

aqua
xs: []string
return: *string
-- can be par, try, or nothing
for x <- xs par:
on x:
return <- foo()
-- Wait for 6 fastest results -- see Join behavior
baz(return!5, return)
aqua
xs: []string
return: *string
-- can be par, try, or nothing
for x <- xs par:
on x:
return <- foo()
-- Wait for 6 fastest results -- see Join behavior
baz(return!5, return)

for on streams

for on streams is one of the most advanced and powerful parts of Aqua. See CRDT streams for details.

for on maps

See CRDT maps for details.