[Unison-hackers] version negotiation

[Tõivo Leedjärv]

On Wed, Jun 30, 2021 at 3:51 PM Benjamin Pierce <bcpierce at cis.upenn.edu> wrote:
>
> I'm not 100% clear how this will work.  If the type of some data structure changes, then how will the code be able to switch protocols without some kind of translation layer?

Yes, there must be a translation layer. Luckily, the encoding format
itself largely fills the role of translation layer, together with
conditional/versioned de-/serialization.