Uniting Is Only Allowed in strong Positions
In ALGOL 68 uniting is the coercion that produces a union from a constituent mode, for example:
mode ibool = union (int, bool); co an ibool is an int or a bool co ibool a = true; co the bool value true is united to an ibool coIn standard ALGOL 68 uniting was possible in firm or strong contexts, so for example could be applied to the operands of formulas:
op istrue = (ibool a) bool: ...; if istrue 1 co legal because 1 (int) can be united to ibool co then ...The ALGOL 68-R implementers found this gave too many ambiguous situations so restricted the uniting coercion to strong contexts.
The effects of this restriction were rarely important and, if necessary, could be worked around by using a cast to provide a strong context at the required point in the program.
Read more about this topic: ALGOL 68R, Restrictions in The Language Compiled
Famous quotes containing the words uniting, allowed and/or positions:
“If the Union is now dissolved it does not prove that the experiment of popular government is a failure.... But the experiment of uniting free states and slaveholding states in one nation is, perhaps, a failure.... There probably is an “irrepressible conflict” between freedom and slavery. It may as well be admitted, and our new relations may as be formed with that as an admitted fact.”
—Rutherford Birchard Hayes (1822–1893)
“If your little savage were left to himself and be allowed to retain all his ignorance, he would in time join the infant’s reasoning to the grown man’s passion, he would strangle his father and sleep with his mother.”
—Denis Diderot (1713–1784)
“An ... important antidote to American democracy is American gerontocracy. The positions of eminence and authority in Congress are allotted in accordance with length of service, regardless of quality. Superficial observers have long criticized the United States for making a fetish of youth. This is unfair. Uniquely among modern organs of public and private administration, its national legislature rewards senility.”
—John Kenneth Galbraith (b. 1908)