From badb05944094ade3828822fada2073b282433625 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 25 May 2021 14:37:44 +0200 Subject: [PATCH] Note re DSL-to-AST translation --- preserves-schema.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/preserves-schema.md b/preserves-schema.md index 8e7b8dd..7eb34b8 100644 --- a/preserves-schema.md +++ b/preserves-schema.md @@ -689,5 +689,11 @@ definitions for the metaschema. - There are side conditions on AST instances. It would be nice to eventually be able to express these within the metaschema. + - It'd be interesting to, + [Ometa](https://en.wikipedia.org/wiki/OMeta)-like, be able to + specify the DSL-to-AST translation process as a schema. One + challenge in doing so is the way schemas are required to be + *reversible* at present. + ## Notes