IronPort-PHdr: =?us-ascii?q?9a23=3A0cD6mRfKCQ0jTcqFxwYuG5qOlGMj4e+mFxMJ6p?=
               =?us-ascii?q?chl7NFe7ii+JKnBkHE+PFxlwaXBdfB5vZNmrCQrqbhHGwN4JqMtHoPapMKWx?=
               =?us-ascii?q?JWwd4OkVkGB8iIQVb+MOasdzYzSdxCWRlluXbiGUdQEcf6IVbVpy769iYcTy?=
               =?us-ascii?q?32LhE9PeHpAsjXhsWz2fq1/sjLYwgOhHy6OJt9KRy3qUPascxFyZB6JPMXzR?=
               =?us-ascii?q?3E6mBNZ/wQxW5sIgeLmA3g486r4JN52yFZuvZk6scZFKunJOI3SrtXCDlgOG?=
               =?us-ascii?q?cwvZe5jxTIQAqR63dZaV04yEsXUS7C6hyyHo38tiLr7Kxg3ijfPcD3Qb0wUz?=
               =?us-ascii?q?m44OFnRU2gjiBPLDM//GzN7644xKtGvBKsoQB+yI/IccmUMvR5ZKbUYdIdQy?=
               =?us-ascii?q?JIQM9QUyVLBo70YZEICqINOuNRro+1oFVrz1P2HQmhQuOpzWZgiXr/3Kl82O?=
               =?us-ascii?q?MkUEnH0AEmA9MSoSHMttymfKwWUO2z0OzJ1WCZN6IQiWq7stKSNE168pTuFf?=
               =?us-ascii?q?pqfMHcyFciDVbfg1GZuNajIjWUk+QAsmSW6+BtT+3ph2N0zmM56jWp2MoojZ?=
               =?us-ascii?q?HEw4wPzVWRvz15zcA1Y9rhYEF+aN+gVpBXsmvJUuk+CtNnWGxutCsgn/ceuZ?=
               =?us-ascii?q?P9fG4Nkbwowhfeb7qMdI3CsVrzEe2WJzl/nndsfrmy0g2z/UaXwer5TsCo0V?=
               =?us-ascii?q?xOo3MfwOPBvX0MyRHfr/O/ZKYioRWZ0C2Un0DJ5+VNMBpyiKzabp4sw7I9kp?=
               =?us-ascii?q?Aeq0uFEiKk0EnxiaaXcA0j9I3Ko6z/Yrigptmbbqd7jwj/NuIlncn3DekjMw?=
               =?us-ascii?q?cIVnSW4qzmjOylrRC/Gu8QyKBt2qDC+IjXP8EaurK0D2o3ms445hCzAi3nmN?=
               =?us-ascii?q?UUkH8bLU5ULReOjoznIVbLc7jzCfayhUjpkS8+naiXeO28RM+XdD6ey+SEH/?=
               =?us-ascii?q?418UNXxQstwMoK/Z9QA6BbZu/1Wwrxud3UAxszPha7herqW7AfnssTX3yCBq?=
               =?us-ascii?q?iBPebcq1iNs6g3I+TKZMkS4R7yLvEk47jlinpzyjp/NeG5mIAabny1BKEsO0?=
               =?us-ascii?q?WUJ3qqhY4pHmIDvw54R+vvwg7KQXtYYHC8WLg57zcwBde9DIvNcYuqhaSIwC?=
               =?us-ascii?q?axGpAFAwIOQkDJC3rjcJ+IHusdcC/HaNE0iSQKDPLyA59kzxylsxX2jqZqPv?=
               =?us-ascii?q?aBsDNNrortjb0Xr6XSjU1grmEyVpXFlTvRECcs2TlUDz4ugPIh/QonkQzFiP?=
               =?us-ascii?q?YgxaQfTI0b5usVAFlkc8eElaoiTYi1AFqkHJ/BSU76EIv4R2ttH5Rhm5lWJB?=
               =?us-ascii?q?wlU9S60kKchWzzX/lMxubNXNttourdxySjeJo7kiybkvFn1x5/HK4tfSWnnv?=
               =?us-ascii?q?ItrlCDQdeWzAPJ0f7tL/1U3TaRpj7clizX7R0eCEgoFvybFXEHOhmM9YW/th?=
               =?us-ascii?q?6EFuX+T+xga1Qkq4bKK7MWOIew0xMbFLG6aY6YOyXoyi+xHUranOrSKtCxKi?=
               =?us-ascii?q?NGhmOFTxFV2xYa+XLMbFJsPCqqrmPAATArLmrBOBi3o895rn7zDlU5ywibNQ?=
               =?us-ascii?q?t80bvw+hMUifGYQf4J0fQItXVprTI8B1u709/MbrjI7wN8YKVRZ88861ZbxC?=
               =?us-ascii?q?rYsQJ6JJmpM6FlgBYXbQ12u0rk0xg/BJ9HlIAmq3YjzQw6Lqz9shsJbzSDwZ?=
               =?us-ascii?q?X5IaHaMEH39RGrLrPfgxTQjY3Q9aAI5/A17V7kuUDhF0Yv9Wlmz8gA03aY4c?=
               =?us-ascii?q?avbkJaWpbwX0Arshli8uuCM29tusWOjycqbPLn+iXP0N8oGuY/nwyte95Oau?=
               =?us-ascii?q?WZEg63E8AbC8WqIuEwlB6lY0FhXqga+agqMsehb/bD1rSsObMqhDKry2QB59?=
               =?us-ascii?q?lV3UeF9i46QenNlcVgobnQzk6cWjHwgU30+NjwgpxBbCoOE3CXzCHlAMtMb/?=
               =?us-ascii?q?Q3c9tQT2ipJMKzy5N1gJunCBs6vBazQlgB3sGuYx+baVfwiBZR2UogqnuigS?=
               =?us-ascii?q?KkzjZwnmh4/Jra5zTHxqHZTDRCP2dKQGd4ilK1eNq7itkbWA6jaA17zUL4t3?=
               =?us-ascii?q?a//LBSoeFEF0eWQUpMeHKrfWRrU6/1q7PbJsASs9UntiJYVOn6alefGOak/0?=
               =?us-ascii?q?kqlhj7Fm4b/wgVMimws8ygzRN/gWOZan10qSiBdA=3D=3D?=
MIME-Version: 1.0
References: <7268146521992603.WA.kellysmith12.21gmail.com@listserv.uni-heidelberg.de>
Content-Type: text/plain; charset="UTF-8"
Message-ID:  <CANfjC0_XL5MQu7ZsjuLONJW01JKfk859UAZD66mQu19Ak4jEKA@mail.gmail.com>
Date:         Tue, 18 Feb 2020 21:50:28 -0300
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:         Phelype Oleinik <phe.h.o1@GMAIL.COM>
Subject: Re: Request for Clarification on Boxes and Functions
To:           LATEX-L@LISTSERV.UNI-HEIDELBERG.DE
In-Reply-To:  <7268146521992603.WA.kellysmith12.21gmail.com@listserv.uni-heidelberg.de>
Precedence: list
Envelope-To: <rainer.schoepf@gmx.net>
Status: R

Hi Kelly,

> - Are all boxes and coffins made so that their content is wrapped in a TeX group?
>   More specifically, is it safe for code to assume that all box/coffin content is
>   implicity grouped?

Yes, because the underlying TeX box makes a group:
    \count0=1 \hbox{\count0=2 }\the\count0 \bye
so you can assume the grouping.

> - Many functions in expl3 are of the form `a := func(b, c)` (e.g. `\str_concat:NNN`,
>   `\seq_set_map:NNn`) or `a := func(b)` (e.g. `\int_set:Nn`, `\tl_set:Nn`).
>   Sometimes, one will want to write code like `a := func(a, b)` or `a := func(a)`,
>   that is, directly assign a new value to a variable based on its current value.
>   Is it ever safe to write such code in expl3?

Yes, because first `func(a, b)` is evaluated, and only then
the assignment is performed. Something like:
    \def\x{b} \edef\x{a\x c}
makes `\x=macro:->abc`.

Though this last one may depend a bit on the macro
implementation (if the function needs intermediate steps
to do its job, for example), but I'd expect to able to rely
on that behaviour.

Best

Phelype