On 29/04/2021 13:17, fo...@univ-mlv.fr wrote:
Not necessarily. First, let's acknowledge that you are moving the discussion from the basic semantics to talk about the translation strategy which touch more the binary compatibility, aka, what is the semantics when the view of the world at compile time and at runtime are disagreeing.
I wasn't necessarily yet talking about translation strategy - as much I was trying to understand what a user could do to "bullet proof" its switches. It seems to me that there's a way to name almost all the components of a remainder, except for the "unknown" ones (which come from sealed hiearchies).
I'm not (yet) concerned with bytecode considerations :-) Maurizio