masahi commented on PR #11097: URL: https://github.com/apache/tvm/pull/11097#issuecomment-1108086714
> Decide if the syntax is good for @masahi and @Lunderberg's usecase; Yes, I believe the new capability suffices for my need, and since the required change is small, I think we should land it as is now. > we'd like to distinguish variables and other asts in script and variables in host language This is a very great point, but introducing a quotation syntax extension like that really gets us into the realm of a full-blown multi-stage programming systems. Things can get complicated pretty fast if we want to discuss what exactly we can put inside of the quote (e.g. do we allow arbitrary python expressions, do we allow referring to TVMScript values inside quote etc). I believe thorough design discussion is needed before we formally introduce such syntax extensions. Good examples of prior art from PL include: * Lisp macro * MetaOCaml https://okmij.org/ftp/ML/MetaOCaml.html * Terra https://terralang.org/ -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
