|Page 176 of 800||Search internet|
The eager pair [x :: y] forms the pair of x and y. The pairing construct is eager in the sense that it forces both x and y to be evaluated. Furthermore, inspects x and y to see if they are exceptions. Logiweb also has lazy pairs.
The constructs [x head] and [x tail] return the first and second component, respectively, of a pair. Some examples read:
As mentioned, the eager pair checks its arguments for being exceptions:
The head and tail constructs return their argument if the argument is not a pair:
|Page 176 of 800||Search logiweb.eu|