Page 176 of 800
| 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 |