<div dir="auto">UBF consists of two parts: UBF(a), which describes the daya types, and UBF(b), which describes the interaction part.<div dir="auto"><br></div><div dir="auto"><a href="https://ubf.github.io/ubf/ubf-user-guide.en.html#specifications">https://ubf.github.io/ubf/ubf-user-guide.en.html#specifications</a><br></div><div dir="auto"><br></div><div dir="auto">BR,</div><div dir="auto">Ulf W</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Den lör 6 nov. 2021 16:14 <<a href="mailto:hamishberridge@tutanota.com">hamishberridge@tutanota.com</a>> skrev:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div>
<div>Does the role of contract checker act something like validator? If so, does that imply binary_to_term/ term_to_binary does not use that because the communication happens within Erlang environment? I could totally go wrong as I am not familiar with it; but I am curious, because I learned a lot of concepts from Erlang and from reading Joe Armstrong's thesis, even though I never wrote any Erlang code at all. Really appreciate those writings. That helps me a lot in learning system design, and many other parts in programming as well.   <br></div><div dir="auto"><br></div><div>Oct 28, 2021, 21:51 by <a href="mailto:ulf@wiger.net" target="_blank" rel="noreferrer">ulf@wiger.net</a>:<br></div><blockquote style="border-left:1px solid #93a3b8;padding-left:10px;margin-left:5px"><div dir="ltr"><div><br></div><div>The key feature of UBF was that beyond being a serialization format, it was also a contract checker.<br></div><div>That was a very nice feature. If you'd like to do something like that today, perhaps you'd go for JSON or MessagePack encoding, JSON-Schema and Jesse.<br></div><div><br></div><div>Needless to say, Joe's solution was far more elegant. It was also far less supported, even when he was alive. Joe was always searching for the next interesting challenge, and as memory serves, he parked UBF thinking that he wasn't 100% satisfied with it. It didn't bother him to park something for a decade while trying to address that final wrinkle.<br></div><div><br></div><div>BR,<br></div><div>Ulf W<br></div><div><br></div><div><a shape="rect" rel="noopener noreferrer noreferrer" href="https://gmail.app.vereign.com/#CiAzy_GB8f6QvveZ4EbTaXoDdsWTb_ETB6W49Cwj1RyD1xIggbHUSgcbmAeIDsfNGcBv5GttvylTY3bzBmlLx8UQ6AA=" id="m_3983489346511247079seal-container-v1-2b121f83eea49a7b1f47514a026bd644601f52a0f203394da1d6a9ca74505d2f" target="_blank"><img style="width:145px;height:219px" src="cid:ii_kvb099000" alt="Vereign Seal" id="m_3983489346511247079seal-image-2b121f83eea49a7b1f47514a026bd644601f52a0f203394da1d6a9ca74505d2f" width="145" height="219"></a><br></div></div><div><br></div><div><div dir="ltr">On Thu, Oct 28, 2021 at 7:45 AM <<a href="mailto:hamishberridge@tutanota.com" rel="noopener noreferrer noreferrer" target="_blank">hamishberridge@tutanota.com</a>> wrote:<br></div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div><br></div><div dir="auto">I haven't used Erlang, so I suppose my question is very naive. I read that UBF[1] is not maintained. So I am wondering what's used by Erlang as serialization format? Is there a new one that replaces UBF? Or UBF is still used as it, it's just not much change as it's stable? <br></div><div dir="auto"><br></div><div dir="auto">If there are UBF alternative options, what options are available? <br></div><div dir="auto"><br></div><div dir="auto">Many thanks<br></div><div dir="auto"><br></div><div dir="auto">[1]. <a href="https://github.com/ubf/ubf" rel="noopener noreferrer noreferrer" target="_blank">https://github.com/ubf/ubf</a><br></div></div></blockquote></div></blockquote><div dir="auto"><br></div>  </div>

</blockquote></div>