search

garrisonhh / fluent-prototype

a clear, explicit, and beautiful systems language.
Other
7 stars 0 forks source link

quote/unquote #6

Open garrisonhh opened 1 year ago

garrisonhh commented 1 year ago

metaprogramming is a central goal of fluent. I think the syntax I want is something like this:

a :: '(3 + 4) # quote with unary `'`
b :: $a # unquote with unary `$`

this will compile to fluent data structures that represent the same information as a TExpr. the types of these expressions should be something like code T where T is the type of the code when executed.

garrisonhh commented 1 year ago

I think this definitely relies on #4