Logiweb(TM)

7.3.2 Tuples

Prev Up Next Page 177 of 800 Search internet


A construct like

<< 1 ,, 2 ,, 3 >> [<< 1 ,, 2 ,, 3 >>]

macro expands to

1 :: 2 :: 3 :: true.

The eager pair x :: y is right associative so that

1 :: 2 :: 3 :: true.

means

1 :: ( 2 :: ( 3 :: true ) ).

An example of use reads:

<< 1 ,, 2 ,, 3 >> tail tail head == 3

The macro expansion behavior of << x ,, y ,, z >> is defined on the base page. The macro expansion facilities of Logiweb are Turing complete and are under user control, c.f. Macro expansion.

The empty tuple <<>> [<<>>] equals true.

Prev Up Next Page 177 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05