Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Language idea: Macros and AST quotation #25

Open
alexrp opened this issue Feb 19, 2023 · 0 comments
Open

Language idea: Macros and AST quotation #25

alexrp opened this issue Feb 19, 2023 · 0 comments
Labels
area: language Issues related to the design of the language. state: deliberation Issues that require design work and/or discussion.
Milestone
Future

Comments

@alexrp
Copy link
Member

alexrp commented Feb 19, 2023 •
edited
Loading

The macro, quote, and unquote keywords are reserved for future exploration in this space.

Some obvious issues to tackle here:

  • How will macros work with a module system that loads modules lazily?
  • Should macros be able to generate declarations? Types? Statements?
    • I lean towards only allowing expression macros.
  • Do we want to formally specify the AST produced by quote expressions?
  • Should macros be hygienic? If so, how much?
  • Do we give up on type analysis when encountering macros?
@alexrp alexrp added state: deliberation Issues that require design work and/or discussion. type: feature area: language Issues related to the design of the language. labels Feb 19, 2023
@alexrp alexrp added this to the v2.0 milestone Feb 19, 2023
@alexrp alexrp self-assigned this Feb 19, 2023
@alexrp alexrp modified the milestones: v2.0, Future Jan 1, 2024
@alexrp alexrp removed their assignment Jan 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area: language Issues related to the design of the language. state: deliberation Issues that require design work and/or discussion.
Milestone
Future
Development

No branches or pull requests
1 participant
@alexrp