Re: [Cbor] A CBOR tag for alternatives/unions, request for comments

[Michael Peyton Jones <[e-mail]>]

Hello all,

I'm not sure what the status of this proposal is. It seems like there's
broad agreement that this is desirable, but we don't have consensus on the
exact tags to use. How can we reach consensus here? Would it be useful to
provide a summary of alternatives and vote?

Best wishes,
Michael

On Wed, 20 Apr 2022 at 16:18, Christian Amsüss <[e-mail]>
wrote:

> Hello Michael, Carsten,
>
> On Thu, Feb 24, 2022 at 02:12:43PM +0000, Michael Peyton Jones wrote:
> > If you'll permit me a toy example, suppose we have a balanced
> > binary tree of numbers. In Haskell, the data type definition would look
> > like this:
>
> Right, multiply tagged items are something I did not consider
> originally. (My mental model for these was shaped by Rust where there is
> often type information available, so that an Option<Option<Option<u8>>>
> has all the information available to still fit in 16 bit, but that's of
> course only available on types that are just repetitive and not
> recursive).
>
> I'd still be slightly happier if this would take less of the 1+1 space
> (121 and 122, maybe? That would suffice for the deep parts of the tree),
> but given it also has Carsten's support (who is the other expert for the
> registry), I'd be OK with it.
>
> The policy for registering these are "specification required", so it all
> doesn't have to wait for notable-tags to be full and done -- and I'm
> just about to send out another mail suggesting to use this. What's your
> plan for progressing with this?
>
> BR
> Christian
>
> --
> There's always a more constrained fish.
>   -- Qui-Gon Jinn
>


-- 

*Michael Peyton Jones*
Software Engineering Lead | London, UK

Website: www.iohk.io <http://iohk.io>
Skype: michael.s.pj
Twitter: @mpeytonjones
PGP Key ID: 29F64616

[image: Input Output] <http://iohk.io>

[image: Twitter] <https://twitter.com/InputOutputHK> [image: Github]
<https://github.com/input-output-hk> [image: LinkedIn]
<https://www.linkedin.com/company/input-output-global>


This e-mail and any file transmitted with it are confidential and intended
solely for the use of the recipient(s) to whom it is addressed.
Dissemination, distribution, and/or copying of the transmission by anyone
other than the intended recipient(s) is prohibited. If you have received
this transmission in error please notify IOHK immediately and delete it
from your system. E-mail transmissions cannot be guaranteed to be secure or
error free. We do not accept liability for any loss, damage, or error
arising from this transmission