You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
JSON has emerged as a standard format for data types serialisation, and most programming languages now have strong JSON support. For example Ocaml can auto-generate JSON pretty-printers and parsers for data types using yojson or adt. Both tools require compile-time meta-programming (e.g. in the form of @@deriving) for auto-generation of suitable pretty-printers and parsers.
How hard would it be to add support for automatic generation of support for JSON to OCaml types? Given that Ott has full control over the output, I imagine that it could be straightforward, with the possible exception of cases where the autogenerated code needs to be overridden with existing pretty-printers or parsers. (I'm asking because I want to JSON-ify Jib (the Sail IR) and I'm struggling to do this in a principled way. A similar question could be asked about Lem, but Jib is specified in Ott.)
The text was updated successfully, but these errors were encountered:
On Sat, 30 Jan 2021 at 14:55, Martin Berger ***@***.***> wrote:
JSON has emerged as a standard format for data types serialisation, and
most programming languages now have strong JSON support. For example Ocaml
can auto-generate JSON pretty-printers and parsers for data types using
yojson or adt. Both tools require compile-time meta-programming (e.g. in
the form of @@deriving) for auto-generation of suitable pretty-printers
and parsers.
How hard would it be to add support for automatic generation of support
for JSON to OCaml types? Given that Ott has full control over the output, I
imagine that it could be straightforward, with the possible exception of
cases where the autogenerated code needs to be overridden with existing
pretty-printers or parsers. (I'm asking because I want to JSON-ify Jib (the
Sail IR) and I'm struggling to do this in a principled way.)
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#74>, or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ABFMZZXZ2XY75O3OQHJZMH3S4QMVTANCNFSM4W2MARCA>
.
JSON has emerged as a standard format for data types serialisation, and most programming languages now have strong JSON support. For example Ocaml can auto-generate JSON pretty-printers and parsers for data types using
yojson
oradt
. Both tools require compile-time meta-programming (e.g. in the form of@@deriving
) for auto-generation of suitable pretty-printers and parsers.How hard would it be to add support for automatic generation of support for JSON to OCaml types? Given that Ott has full control over the output, I imagine that it could be straightforward, with the possible exception of cases where the autogenerated code needs to be overridden with existing pretty-printers or parsers. (I'm asking because I want to JSON-ify Jib (the Sail IR) and I'm struggling to do this in a principled way. A similar question could be asked about Lem, but Jib is specified in Ott.)
The text was updated successfully, but these errors were encountered: