Infer closure phase

[MarkMcCulloh]

Feature Spec

When creating a closure, the phase is inferred by what is needed for the current situation if unambiguous:

bring cloud;

let bucket = new cloud.Bucket();
let queue = new cloud.Queue();

queue.setConsumer((message: str) => {
  // This is an inflight closure
  bucket.put("wing.txt", "Hello, ${message}");
});

() => {
 // this is still a preflight closure
}

Use Cases

less typing

Implementation Notes

I'm actually not sure I love this, but curious about other's thoughts

Component

Language Design, Compiler

Community Notes

• Please vote by adding a 👍 reaction to the issue to help us prioritize.
• If you are interested to work on this issue, please leave a comment.

[eladb]

I think this is something we should introduce but at a later stage. Since preflight/inflight is such a novel concept, there's value in requiring more explicitness. But as the language and community matures, I think this is something we should introduce.

[Chriscbr]

I'm curious if having phase independent functions (#435) would affect how inference is performed / when it's valid etc.

[github-actions]

Hi,

This issue hasn't seen activity in 60 days. Therefore, we are marking this issue as stale for now. It will be closed after 7 days.
Feel free to re-open this issue when there's an update or relevant information to be added.
Thanks!

[github-actions]

Hi,

This issue hasn't seen activity in 90 days. Therefore, we are marking this issue as stale for now. It will be closed after 7 days.
Feel free to re-open this issue when there's an update or relevant information to be added.
Thanks!

[github-actions]

Hi,

This issue hasn't seen activity in 90 days. Therefore, we are marking this issue as stale for now. It will be closed after 7 days.
Feel free to re-open this issue when there's an update or relevant information to be added.
Thanks!