Open csziklai opened 3 days ago
Thanks Cassandra! So, yes, don't worry about the more advanced discussion (here) that concerns itself with representing transient nodes in the DSL. Just get a basic AST that has opaque classes, a few permitted policies, and a way to compose those policies. #5 is admittedly a little long-winded at this point but it has the details you will need. Good luck!
To begin with the frontend of our new DSL, we want to implement the Ast in OCaml. See #5 for a discussion of what we might want it to look like.