String concatenation

Figure 26. StringConcatExpr

StringConcatExpr

Two strings or more can be concatenated using the concatenation operator.

Example 49. String concatenation

"Captain" || " " || "Kirk"
      

Result (run with Zorba): Captain Kirk


An empty sequence is treated like an empty string.

Example 50. String concatenation with the empty sequence

"Captain" || () || "Kirk"
      

Result (run with Zorba): CaptainKirk