JSON schema

[achudnov]

I'm following up on the TODO in your README document: "Use JSON Schema to ensure well-formedness of the AST."

I'd like to help you with that. But first, a couple of questions:

1. Is this still relevant to the project?
2. Is someone already working on it?
3. If I submit a pull request for just the schema itself (say, output-schema.json), would you integrate it with the rest of your build/test process?

[patrickt]

Hey there!

1. Absolutely. We currently have no record of the semantics of the schema, beyond what our downstream proprietary code does with it. A record of what exactly it does would be very helpful.
2. Nope—as nice as a schema would be, we've got more urgent priorities at the moment.
3. Absolutely!

[achudnov]

Awesome. I'll be back with a pull request in the next few weeks.

[patrickt]

Terrific. Please drop any questions you have here (or hit me up on Twitter, @importantshock).

[achudnov]

I haven't had time to work on this. @patrickt, you've mentioned there's a parser from JSON to Haskell AST and that you might be interested in open-sourcing it. I'm still interested in seeing that, because the JSON schema was going to be a basis for a converter from JSON to Haskell too. In particular, I intend to use it to test https://github.com/GaloisInc/golang, which is a pure-Haskell parser/type-checker for Go that I'm working on. Just in case you need an extra bit of motivation. :)