Jerome Simeon

> Now I get what you meant with "syntax for those things". I think we could do something like this. > > ```json > { "name": "Runtime Operator Equal", >...

> > Will need to figure out how to write ejson values (in JSON? maybe that's too obvious) > > Yes in JSON. I think you already have serializer/parsers? That's...

Note: there is a "browser friendly" version of that same library.

Note: moment.js is distributed under the terms of the MIT license, which AFAIK is a good one.

Thanks for all the feedback. Quite a bit more work than I naively thought. I'll keep it in mind, and may sign up for it at some point.

Possible library for date/time in OCaml, but lacks a maintainer at the moment: https://github.com/ocaml-community/calendar

And example of problem with JSON support can be found in Issue #51 and Issue #13.

A bit of news on this: > The idea behind the conjecture: > > Fields on the right of `OpRecConcat` hides corresponding fields that may exist on the left, so...

I agree with the analysis (nice btw!), and I think I like the first option as well.

It would be nice to have a well-written mechanized semantics for SQL++. This would go hand-in-hand with a proof of semantic preservation for this translation (See #74).