-
Notifications
You must be signed in to change notification settings - Fork 2
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.
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
spec: prepare for variables and parameters #47
Conversation
Summary ======= * subdivide expressions into l-value and r-value expressions * add definitions for values, locations, and cells * introduce the notion of linear, affine, and normal types Details ======= Some definitions and terminology was missing to be able to describe / specify the semantics of variables and assignments. This commit aims to extend the specification with the necessary bits. As a preparation for future resource management, linear and affine types are introduced already, though they're not of practical relevance yet.
"object" is also not ideal, but it's a bit better than "value" and should do for now.
@saem: I've replaced the relevant mentions of
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Agreed, it's easier to follow after the change.
Summary
Details
Some definitions and terminology was missing to be able to describe /
specify the semantics of variables and assignments. This commit aims to
extend the specification with the necessary parts.
As a preparation for future resource management, linear and affine
types are introduced already, though they're not of practical relevance
yet.
Notes For Reviewers
If
expression support #46 is mergedOverall, I'm not too happy with the current specification. I think it's not formal enough, and the way it's currently structured is also off. It'll need a redo, eventually.