mirror of
https://github.com/digital-asset/daml.git
synced 2024-11-10 10:46:11 +03:00
c8adc54ad9
"ones whose values can be written in a text or binary format" is a very misleading definition to give for "serializable types" in the context of Daml. When we say "serializable" in Daml, we *always* mean the formal Daml-LF definition given in "Serializable types" in daml-lf-1.rst, i.e. ⊢ₛ τ, or "τ derives from the rules S". That is also what we mean here. There are many examples of types "whose values can be written in a text or binary format", that are nevertheless *not* derivable from S. As it says in daml-lf-1.rst, "serializable types are the types whose values can be persisted on the ledger". So we copy over something like that language. CHANGELOG_BEGIN CHANGELOG_END Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com> |
||
|---|---|---|
| .. | ||
| app-dev | ||
| concepts | ||
| daml | ||
| daml-repl | ||
| daml-script | ||
| deploy | ||
| getting-started | ||
| json-api | ||
| ops | ||
| support | ||
| tools | ||
| triggers | ||
| upgrade | ||
| building-applications.rst | ||
| operating-daml.rst | ||
| tools.rst | ||
| writing-daml.rst | ||