MIME-Version: 1.0
References: <4E95A9C2.6020607@residenset.net>
            <CAArVCkTb6T7zgewBeLNFSYhSSkaT1ry+5xdApz=XoD89vpyoFA@mail.gmail.com>
Content-Type: multipart/mixed; boundary=00151747844216eb3404af29b3f8
Message-ID:  <CANQYN6xrc6RGYYKEsZKVbM6YAAQ8QdXNN_072d6Qv5Ed5vmv0g@mail.gmail.com>
Date:         Thu, 13 Oct 2011 04:12:19 -0400
Reply-To: Mailing list for the LaTeX3 project
              <LATEX-L@listserv.uni-heidelberg.de>
Sender: Mailing list for the LaTeX3 project <LATEX-L@listserv.uni-heidelberg.de>
From: Bruno Le Floch <blflatex@GMAIL.COM>
Subject: Re: Church booleans
To: LATEX-L@listserv.uni-heidelberg.de
In-Reply-To:  <CAArVCkTb6T7zgewBeLNFSYhSSkaT1ry+5xdApz=XoD89vpyoFA@mail.gmail.com>
Precedence: list
Status: R

--00151747844216eb3404af29b3f8
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

On 10/12/11, Philipp Stephani <p.stephani2@googlemail.com> wrote:
> 2011/10/12 Lars Hellstr=F6m <Lars.Hellstrom@residenset.net>:
>>  True =3D \lambda xy . x
>>  False =3D \lambda xy . y
>>
>> These may look strange, but turn out to be two objects that are very
>> familiar to us: \use_i:nn and \use_ii:nn respectively (or \@firstoftwo a=
nd
>> \@secondoftwo, for those who still think in 2e terms (like me)).
>
> This is in fact used by etoolbox's toggles.

Yes. I think most of those who had to decide how to implement booleans
have thought about that possibility in the past (together with the
obvious \iffalse/\iftrue, Morten's 01/00, the current LaTeX3
\char"0/1, and probably some others). But it is definitely good to
raise it from time to time.

I just reimplemented (see attached) the boolean expression parser
building upon Lars' suggestion, slightly modified: a predicate shall
f-expand to " { <code> } " such the <code> is a TF conditional
(expandable or not). The difference with Lars is that I require the
braces around <code>. In other words, the predicate must grab all its
arguments and hide itself between braces, so that we can look ahead to
see what operator follows.

If all the tests are expandable, the expression will be expandable. If
some tests are not expandable, the expansion will stop there, and
perhaps bad things will happen in expansion contexts, since tests
further down the line will be run... But in a typesetting context,
everything should work nicely.

It also seems that the reimplementation is somewhat faster (perhaps
30-40%). And the amount of code is the same.

Do we want that?

Regards,
Bruno

--00151747844216eb3404af29b3f8
Content-Type: application/x-tex; name="alt-booleans.tex"
Content-Disposition: attachment; filename="alt-booleans.tex"
Content-Transfer-Encoding: base64
X-Attachment-Id: file0

JSBBIGJvb2xlYW4gZXhwcmVzc2lvbiBpcwolIEJPT0xFWFBSICA8LSBPUEVSQU5EICggT1BFUkFU
T1IgT1BFUkFORCApKgolIE9QRVJBVE9SICA8LSAifHwiIHwgIiYmIgolIE9QRVJBTkQgICA8LSAi
KCIgQk9PTEVYUFIgIikiIHwgIiEiIE9QRVJBTkQgfCBQUkVESUNBVEUKJSBQUkVESUNBVEUgPT1b
Zi1leHBhbmRzIHRvXT09ICJ7IiBSRVRVUk4tVEYgIn0iCiUgUkVUVVJOLVRGID09W3J1biAgYnkg
IFRlWF09PSAiXHVzZV9pOm5uIiB8fCAiXHVzZV9paTpubiIKJQolIEluIHBhcnRpY3VsYXIsIGJv
b2xlYW5zIGFyZSB0aGUgcHJlZGljYXRlcyAie1x1c2VfaTpubn0iIGFuZCAie1x1c2VfaTpubn0i
LgolCiUgPT09PT09PT09PT09PT09PT09PT09PT09PT09CiUgQ29kZSAoc2VlIGJlbG93IHRvIHRl
c3QgaXQpCiUgPT09PT09PT09PT09PT09PT09PT09PT09PT09ClxSZXF1aXJlUGFja2FnZXtleHBs
M30KXEV4cGxTeW50YXhPbgpcY3Nfc2V0X3Byb3RlY3RlZDpOcG4gXGNfdHJ1ZV9hYm9vbCB7IHsg
XHVzZV9pOm5uIH0gfQpcY3Nfc2V0X3Byb3RlY3RlZDpOcG4gXGNfZmFsc2VfYWJvb2wgeyB7IFx1
c2VfaWk6bm4gfSB9ClxwcmdfbmV3X2NvbmRpdGlvbmFsOk5wbm4gXGFib29sX2lmOm4gIzEgeyBU
RiAsIFQgLCBGIH0KICB7CiAgICBcYWJvb2xfZXZhbF9zdGFydDp3ICMxICkgUyApCiAgfQoKXGNz
X25ldzpOcG4gXGFib29sX21hcmtlcjogeyBNIH0KXGNzX25ldzpOcG4gXGFib29sX2V2YWxfc3Rh
cnQ6dyAjMSApCiAgewogICAgXGdyb3VwX2FsaWduX3NhZmVfYmVnaW46CiAgICBcYWJvb2xfZXZh
bF9vcGVyYW5kOk4gIzEgXGFib29sX21hcmtlcjogXHVzZV9pOm5uICkKICB9Clxjc19uZXc6TnBu
IFxhYm9vbF9ldmFsX29wZXJhbmQ6TiAjMQogIHsKICAgIFxpZl9tZWFuaW5nOncgKCAjMSAlICkK
ICAgICAgXGV4cF9hZnRlcjp3TiBcYWJvb2xfZXZhbF9ncm91cDp3CiAgICBcZWxzZToKICAgICAg
XGlmX21lYW5pbmc6dyAhICMxCiAgICAgICAgXGV4cF9hZnRlcjp3TiBcZXhwX2FmdGVyOndOCiAg
ICAgICAgXGV4cF9hZnRlcjp3TiBcYWJvb2xfZXZhbF9ub3Rfb3BlcmFuZDp3CiAgICAgIFxlbHNl
OgogICAgICAgIFxleHBfYWZ0ZXI6d04gXGFib29sX2V2YWxfcHJlZGljYXRlOm4KICAgICAgICBc
dGV4X3JvbWFubnVtZXJhbDpEIC1gcQogICAgICBcZmk6CiAgICBcZmk6CiAgICAjMQogIH0KXGNz
X25ldzpOcG4gXGFib29sX2V2YWxfbm90X29wZXJhbmQ6dyAhICMxCiAgewogICAgXGlmX21lYW5p
bmc6dyAoICMxICUgKQogICAgICBcZXhwX2FmdGVyOndOIFxhYm9vbF9ldmFsX25vdF9ncm91cDp3
CiAgICBcZWxzZToKICAgICAgXGlmX21lYW5pbmc6dyAhICMxCiAgICAgICAgXGV4cF9hZnRlcjp3
TiBcZXhwX2FmdGVyOndOCiAgICAgICAgXGV4cF9hZnRlcjp3TiBcYWJvb2xfZXZhbF9vcGVyYW5k
OncKICAgICAgXGVsc2U6CiAgICAgICAgXGV4cF9hZnRlcjp3TiBcYWJvb2xfZXZhbF9ub3RfcHJl
ZGljYXRlOm4KICAgICAgICBcdGV4X3JvbWFubnVtZXJhbDpEIC1gcQogICAgICBcZmk6CiAgICBc
Zmk6CiAgICAjMQogIH0KXGNzX25ldzpOcG4gXGFib29sX2V2YWxfb3BlcmFuZDp3ICEgeyBcYWJv
b2xfZXZhbF9vcGVyYW5kOk4gfQpcY3NfbmV3Ok5wbiBcYWJvb2xfZXZhbF9wcmVkaWNhdGU6biAj
MQogIHsKICAgICMxCiAgICAgIHsgXGV4cF9hZnRlcjp3TiBcYWJvb2xfZXZhbF90cnVlX29wZXJh
dG9yOncgfQogICAgICB7IFxleHBfYWZ0ZXI6d04gXGFib29sX2V2YWxfZmFsc2Vfb3BlcmF0b3I6
dyB9CiAgICBcdGV4X3JvbWFubnVtZXJhbDpEIC1gcQogIH0KXGNzX25ldzpOcG4gXGFib29sX2V2
YWxfbm90X3ByZWRpY2F0ZTpuICMxCiAgewogICAgIzEKICAgICAgeyBcZXhwX2FmdGVyOndOIFxh
Ym9vbF9ldmFsX2ZhbHNlX29wZXJhdG9yOncgfQogICAgICB7IFxleHBfYWZ0ZXI6d04gXGFib29s
X2V2YWxfdHJ1ZV9vcGVyYXRvcjp3IH0KICAgIFx0ZXhfcm9tYW5udW1lcmFsOkQgLWBxCiAgfQpc
Y3NfbmV3Ok5wbiBcYWJvb2xfZXZhbF9ncm91cDp3ICggIzEgXGFib29sX21hcmtlcjoKICB7CiAg
ICBcYWJvb2xfZXZhbF9vcGVyYW5kOk4gIzEKICAgIFxhYm9vbF9tYXJrZXI6IFx1c2VfaTpubgog
IH0KXGNzX25ldzpOcG4gXGFib29sX2V2YWxfbm90X2dyb3VwOncgKCAjMSBcYWJvb2xfbWFya2Vy
OgogIHsKICAgIFxhYm9vbF9ldmFsX29wZXJhbmQ6TiAjMQogICAgXGFib29sX21hcmtlcjogXHVz
ZV9paTpubgogIH0KXGNzX25ldzpOcG4gXGFib29sX2V2YWxfdHJ1ZV9vcGVyYXRvcjp3ICMxCiAg
eyBcdXNlOmMgeyBhYm9vbF8jMV9UOncgfSB9Clxjc19uZXc6TnBuIFxhYm9vbF9ldmFsX2ZhbHNl
X29wZXJhdG9yOncgIzEKICB7IFx1c2U6YyB7IGFib29sXyMxX0Y6dyB9IH0KXGNzX25ldzpjcG4g
eyBhYm9vbF8mX0Y6dyB9ICYKICB7IFxhYm9vbF9ldmFsX3NraXBfdG9fZW5kOk53IFxhYm9vbF9N
X0Y6dyB9Clxjc19uZXc6Y3BuIHsgYWJvb2xffF9GOncgfSB8IHsgXGFib29sX2V2YWxfb3BlcmFu
ZDpOIH0KXGNzX25ldzpjcG4geyBhYm9vbF8mX1Q6dyB9ICYgeyBcYWJvb2xfZXZhbF9vcGVyYW5k
Ok4gfQpcY3NfbmV3OmNwbiB7IGFib29sX3xfVDp3IH0gfAogIHsgXGFib29sX2V2YWxfc2tpcF90
b19lbmQ6TncgXGFib29sX01fVDp3IH0KXGNzX25ldzpOcG4gXGFib29sX2V2YWxfc2tpcF90b19l
bmQ6TncgIzEgIzIgXGFib29sX21hcmtlcjogIzMgKQogIHsKICAgIFxhYm9vbF9ldmFsX3NraXBf
bG9vcDpud3dOdwogICAgICB7ICMxICMzIH0KICAgICAgIzIKICAgICAgXHFfbWFyayBcYWJvb2xf
ZXZhbF9za2lwX29uZTpudwogICAgICAoCiAgICAgIFxxX21hcmsgXGFib29sX2V2YWxfc2tpcF9k
b25lOm53CiAgICAgIFxxX3N0b3AKICAgICAgKQogIH0KXGNzX25ldzpOcG4gXGFib29sX2V2YWxf
c2tpcF9sb29wOm53d053ICMxICMyICggIzMgXHFfbWFyayAjNCAjNSBccV9zdG9wCiAgeyAjNCB7
IzF9ICMzIH0KXGNzX25ldzpOcG4gXGFib29sX2V2YWxfc2tpcF9vbmU6bncgIzEgIzIgKQogIHsK
ICAgIFxhYm9vbF9ldmFsX3NraXBfbG9vcDpud3dOdwogICAgICB7IzF9CiAgICAgICMyCiAgICAg
IFxxX21hcmsgXGFib29sX2V2YWxfc2tpcF9vbmU6bncKICAgICAgKAogICAgICBccV9tYXJrIFxh
Ym9vbF9ldmFsX3NraXBfZG9uZTpudwogICAgICBccV9zdG9wCiAgfQpcY3NfbmV3Ok5wbiBcYWJv
b2xfZXZhbF9za2lwX2RvbmU6bncgIzEgIzIgKSB7ICMxICkgfQpcY3NfbmV3OmNwbiB7IGFib29s
X01fVDp3IH0gIzEjMikjMykKICB7CiAgICAjMQogICAgICBcYWJvb2xfZXZhbF90cnVlX29wZXJh
dG9yOncKICAgICAgXGFib29sX2V2YWxfZmFsc2Vfb3BlcmF0b3I6dwogICAgIzMKICAgIFxhYm9v
bF9tYXJrZXI6ICMyICkKICB9Clxjc19uZXc6Y3BuIHsgYWJvb2xfTV9GOncgfSAjMSMyKSMzKQog
IHsKICAgICMxCiAgICAgIFxhYm9vbF9ldmFsX2ZhbHNlX29wZXJhdG9yOncKICAgICAgXGFib29s
X2V2YWxfdHJ1ZV9vcGVyYXRvcjp3CiAgICAjMwogICAgXGFib29sX21hcmtlcjogIzIgKQogIH0K
XGNzX25ldzpjcG4geyBhYm9vbF9TX1Q6dyB9ICMxICkKICB7IFxncm91cF9hbGlnbl9zYWZlX2Vu
ZDogXHByZ19yZXR1cm5fdHJ1ZTogfQpcY3NfbmV3OmNwbiB7IGFib29sX1NfRjp3IH0gIzEgKQog
IHsgXGdyb3VwX2FsaWduX3NhZmVfZW5kOiBccHJnX3JldHVybl9mYWxzZTogfQoKJSA9PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KJSBUZXN0cyAodXNpbmcgdGhl
IGwzdGltZSBwYWNrYWdlLCBuZXdseSBvbiB0aGUKJSBzdm4sIGJ1dCB5b3UgY2FuIHRlc3Qgd2l0
aG91dCBpZiB5b3Ugd2FudCkuCiUgPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09CgolIEV4YW1wbGUgb2YgYSBkZWZpbml0aW9uIG9mIGEgIm5ldyIgcHJlZGljYXRl
LAolIHdoaWNoIHdvdWxkIGF1dG9tYXRpY2FsbHkgYmUgZG9uZSBieQolIFxwcmdfbmV3X2NvbmRp
dGlvbmFsLCBvZiBjb3Vyc2UuClxjc19zZXQ6TnBuIFxzdHJfaWZfZXFfYXA6eHggIzEjMgogIHsK
ICAgIHsKICAgICAgXGlmX2ludF9jb21wYXJlOncgXHBkZnRleF9zdHJjbXA6RCB7IzF9eyMyfT1c
Y196ZXJvCiAgICAgICAgXHByZ19yZXR1cm5fdHJ1ZTogXGVsc2U6IFxwcmdfcmV0dXJuX2ZhbHNl
OiBcZmk6CiAgICAgIFxjX3plcm8KICAgIH0KICB9CgpcUmVxdWlyZVBhY2thZ2V7bDN0aW1lfQpc
aW93X3Rlcm06eCB7IE9sZH5ib29sZWFufmV4cHJlc3Npb25zOiB9Clx0aW1lOm4KICB7CiAgICBc
Ym9vbF9pZjpuVEYKICAgICAgewogICAgICAgIFxjX3RydWVfYm9vbAogICAgICAgICYmICggXGNf
ZmFsc2VfYm9vbCB8fCAhISEoICEoIFxzdHJfaWZfZXFfcDp4eCB7YX0ge2F9ICkgKSApCiAgICAg
ICAgfHwgXEVSUk9SCiAgICAgIH0KICAgICAgeyB9CiAgICAgIHsgfQogIH0KClxpb3dfdGVybTp4
IHsgTmV3fmJvb2xlYW5+ZXhwcmVzc2lvbnM6IH0KXHRpbWU6bgogIHsKICAgIFxhYm9vbF9pZjpu
VEYKICAgICAgewogICAgICAgIFxjX3RydWVfYWJvb2wKICAgICAgICAmJiAoIFxjX2ZhbHNlX2Fi
b29sIHx8ICEhISggISggXHN0cl9pZl9lcV9hcDp4eCB7YX0ge2F9ICkgKSApCiAgICAgICAgfHwg
XEVSUk9SCiAgICAgIH0KICAgICAgeyB9CiAgICAgIHsgfQogIH0KCiUgU29tZXRoaW5nIGltcG9z
c2libGUgd2l0aCB0aGUgb2xkIGJvb2xfaWY6blRGClxjc19zZXRfcHJvdGVjdGVkOk5wbiBcdGxf
aWZfaW5fYXA6bm4gIzEjMgogIHsgeyBcdGxfaWZfaW46bm5URiB7IzF9eyMyfSB9IH0KXGFib29s
X2lmOm5URgogIHsKICAgIFxjX3RydWVfYWJvb2wKICAgICYmIFx0bF9pZl9pbl9hcDpubiB7YWJj
fSB7YWJ9CiAgICAmJiBcY190cnVlX2Fib29sCiAgfQogIHsgfQogIHsgfQoKXHRleF9lbmQ6RAol
IE5vdGUgdG8gQkxGOiBzZWUgRXhwZXJpbWVudDI2OC50ZXg=
--00151747844216eb3404af29b3f8--