Open zslayton opened 3 months ago
@zslayton Can you clarify your intent by the "not include types" part?
We still need type declarations to handle primitive and macro encodings. I believe that we are postponing implementation of declarations for concrete types (eg string
or int
) and abstract types (eg number
or text
), but grammatically those are basically enums with little impact on the overall syntax.
We still need type declarations to handle primitive and macro encodings.
In my mind f16
was an encoding (with an implied type) rather than a type like float
. Same with macro-shaped parameters, where no type assertion is made.
I believe that we are postponing implementation of declarations for concrete types (eg string or int) and abstract types (eg number or text), but grammatically those are basically enums with little impact on the overall syntax.
True, it's not a big change. I expected us to remove abstract/concrete types from the spec and then add them back if/when they were implemented.
OK, gotcha.
BTW My working assumption is that we'd keep the spec as-is with respect to features we won't have in preview, or may drop permanently for the final 1.1 release. That's because it's easier to ignore for now than to have to restore content later.
Update signatures to not include types or s-expressions around variables.