JSON Schema -> Dhall

Hey folks I’d like to create a json schema to Dhall tool.

Prior art exists here: Generating Dhall binding from json schemas

Before I dive too deep into this, I’m curious if:

  • Is there any other prior art I should see?
  • Are there any pitfalls I should watch out for?

My rough plan is to extend https://github.com/mozilla/jsonschema-transpiler making use of the dhall crate.

Most of the hard part will be creating a recursive Dhall type representing a JSON schema, so you will probably want to read this if you haven’t already:

https://docs.dhall-lang.org/howtos/How-to-translate-recursive-code-to-Dhall.html

Other than that I don’t see too many issues since the jsonschema-transpiler has already taken care of handling JSON schema syntax trees for you.

1 Like