TypeScript inflights (Enhanced extern)

[MarkMcCulloh]

Use Case

To make use of existing huge/mature ecosystems, writing inflight functions in javascript/typescript would be a huge boost in the usability and adoption of the wing toolchain.

// handler.ts
// generated types
import type extern from "./handler.ts.extern"

export default {
  handler: async (event) => {
    console.log(event);
  }
} satisfies extern;

// main.w
bring cloud;

class MyResource {
  static inflight extern "./handler.ts" handler(event: str);
  myFunction: cloud.Function;
  new() {
    this.myFunction = new cloud.Function(MyResource.handler);
  }
}

new MyResource();

Proposed Solution

Enhance the existing extern functionality with 2 features:

1. E2E type safety. The wing compiler should generate a type contract for the extern file to satisfy. This should include inflight clients for lifted resources.
2. A way to lift resources into the typescript. Related to Mechanism for explicitly qualifying lifting #76
3. Ability to pass extern function as arguments expecting inflight closures

Implementation Notes

No response

Component

No response

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.
• If this issue is labeled needs-discussion, it means the spec has not been finalized yet. Please reach out on the #dev channel in the Wing Slack.

[monadabot]

Congrats! 🚀 This was released in Wing 0.61.13.