I was wondering if there are any dhall-to-proto programs out there? My google-fu is weak clearly. So I’m asking here.
Ideally it’d be a program returns two things:
- It takes all the (normalized) type expresssions in Dhall and turn them into a protobuf schema,
- It takes all values from the result of evaluation of a dhall program into the relevant protobuf messages that matches the schema from point 1.
Clearly point 2 will create some issues, but
dhall-to-json works in a similar fashion where if you pass in a program that when evaluated returns non-values, will result in a
Cannot translate to JSON error.