编程语言编译器云原生语言运行时【免费下载链接】wingA programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡项目地址https://gitcode.com/gh_mirrors/wi/wing点击查看免费下载导读本文以开源仓库 wing 中 hangar 测试套件的一份编译快照asynchronous_model_implicit_await_in_functions.test.w_compile_tf-aws.md为切入点深入解析 Wing 语言inflight 函数内隐式 await这一异步模型的核心语义。你将看到同一段 Wing 源码如何被编译为带await的 JavaScript inflight 闭包、preflight 合成逻辑以及完整的 AWS Terraform 资源配置并结合编译器源码与 SDK 实现理解其底层原理。读完本文你不仅能看懂 hangar 快照的每个细节还能掌握 Wing 隐式异步等待的完整调用链。快照文档是什么hangar 测试套件与编译产物这份快照文件位于 tools/hangar/snapshots/test_corpus/valid/asynchronous_model_implicit_await_in_functions.test.w_compile_tf-aws.md它由 wing 仓库中的 hangar 工具链测试套件tools/hangar/README.md自动生成。hangar 是 Wing 的端到端E2E测试框架它读取tests/目录下的.w测试文件依次执行编译compile与运行test两类任务并将每个目标tf-aws、sim 等平台的输出与预期快照做比对从而保证编译器与 SDK 的每次改动都不会破坏既有行为。快照文件名遵循严格约定测试文件名_任务类型_目标平台.md。其中compile_tf-aws表示该快照记录的是针对tf-aws平台通过 Terraform 部署到 AWS的编译产物test_sim表示该快照记录的是在模拟器simulator平台上的运行输出见下文运行验证一节。快照头部以链接形式标注了被测源码的相对位置其内容就是完整的编译产物。对应的 Wing 源码是 tests/valid/asynchronous_model_implicit_await_in_functions.test.w全文只有十余行却同时覆盖了 Queue、Function 资源定义与 inflight 异步调用语义非常适合作为理解编译产物的最小可观测样例。Wing 的异步编程模型preflight 与 inflight要理解这份快照必须先建立 Wing 的双相位phase模型。Wing 将代码明确划分为两个执行阶段官方入门文档 docs/by-example/14-async-functions.md 对此有清晰定义Preflight预检在编译期运行一次的代码负责生成云应用的基础设施配置——例如创建数据库、队列、存储桶、API 端点等资源Inflight飞行在运行时执行的代码实现应用的实际行为——例如处理 API 请求、消费队列消息。inflight 代码可以部署到 AWS Lambda、Azure Functions 等函数服务也可以运行在容器、虚拟机甚至物理服务器上。函数默认是 preflight 的只有带inflight关键字、或定义在另一个 inflight 函数内部的函数才是 inflight 函数。测试文件中的两个cloud.Function都使用了inflight () { ... }闭包语法因此其函数体属于 inflight 相位这正是编译产物中会出现async handle()的原因。隐式 await源码与编译产物的语义对照先看被测 Wing 源码tests/valid/asynchronous_model_implicit_await_in_functions.test.wbring cloud; let q new cloud.Queue(); let strToStr new cloud.Function(inflight () { }) as strToStr; let func new cloud.Function(inflight () { strToStr.invoke(one); log(strToStr.invoke(two) ?? no response); }) as func;这里的关键细节在于func的 inflight 函数体内直接调用了strToStr.invoke(one)没有写await将strToStr.invoke(two)的结果通过?? no response与可选解包合并后传给log同样没有写await。而编译器为$Closure2生成的 inflight 代码快照中inflight.$Closure2-1.cjs一节是这样的async handle() { (await $strToStr.invoke(one)); console.log(((await $strToStr.invoke(two)) ?? no response)); }两相对照Wing 的隐式 await 语义一目了然在 inflight 相位中调用异步方法时编译器会自动在调用表达式前插入await开发者无需也通常不需要手写await关键字。这正是该测试命名为asynchronous_model_implicit_await_in_functions函数中的异步模型隐式等待的原因。编译器底层的 auto_await 机制从源码层面看这一行为由编译器 rust 实现中的 jsifyJavaScript 生成器模块负责。在 packages/winglang/wingc/src/jsify.rs 中可以看到let auto_await match ctx.visit_ctx.current_phase() { Phase::Inflight await , _ , };代码逻辑非常直白当编译器处于inflight 相位时函数调用表达式packages/winglang/wingc/src/jsify.rs 中auto_await被拼入生成的调用语句会自动携带await前缀而在 preflight 相位则不加。也就是说auto_await是相位驱动的同样的调用语句写法在 preflight 与 inflight 两种语境下会被编译为不同的 JS 形态。同时packages/winglang/wingc/src/jsify.rs 还提供了一道防线如果在 preflight 相位中遇到对 inflight 值的引用编译器会直接报错Cannot reference an inflight value from within a preflight expression防止相位错乱。返回值与可选类型的交互快照中(await $strToStr.invoke(two)) ?? no response这行代码还演示了另一个语义点cloud.Function.invoke的返回类型是Json | undefined可选值。Wing 对可选类型使用??解包或取默认值对应编译器中UnwrapOr二元运算符见 packages/winglang/wingc/src/jsify.rs在 JS 层面直接映射为 nullish 合并运算符。由于strToStr的 handler 是空函数运行时invoke返回undefined因此??会兜底输出no response。编译产物逐项解析这份快照包含四个代码块共同构成一次完整的 tf-aws 编译产物下面逐项解读。inflight.$Closure1-1.cjs 与 inflight.$Closure2-1.cjs函数体与闭包封装两个.cjs文件分别是两个 inflight 闭包的运行时实现采用模块工厂模式module.exports function({ $strToStr }) { class $Closure2 { ... async handle() { (await $strToStr.invoke(one)); console.log(((await $strToStr.invoke(two)) ?? no response)); } } return $Closure2; }值得注意的细节$strToStr参数$Closure2闭包通过构造参数捕获了外部资源strToStr这正是 Wing 的捕获/提升机制编译器只把实际用到的资源以参数形式注入闭包工厂。而$Closure1空函数的工厂函数参数为空{ }因为它没有捕获任何外部资源。构造技巧constructor中把this.handle包装为可调用对象并Object.setPrototypeOf($obj, this)让闭包实例既可以被当作函数调用又保留类方法能力。handle统一为async无论源码中是否出现异步调用inflight handler 都以async handle()形式生成为隐式await提供了合法的 JS 上下文。文件末尾带有//# sourceMappingURL...map说明产物同时生成 source map便于调试时还原到 Wing 源码。preflight.cjs应用合成逻辑preflight.cjs是编译产物的指挥中枢负责在编译期构建整个应用树。它的关键结构通过globalThis.$ClassFactory.new(..., ...)工厂方法实例化云资源——这正是 Wing 的平台抽象机制同一个cloud.Queue/cloud.Function在不同平台tf-aws、sim 等会被替换为不同的底层实现依次创建了Queueq、strToStr函数和func函数三个资源与源码一一对应$Closure2的_toInflightType()与_liftMap揭示了提升lift信息handle方法依赖[strToStr, [invoke]]即运行时需要以invoke操作访问strToStr。这份 lift 清单最终会驱动权限策略的生成见下文的 IAM Policy文件末尾调用$APP.synth()完成合成输出main.tf.json等 Terraform 配置。main.tf.jsonAWS 基础设施的完整画像快照中最大的一块是main.tf.json它展示了 Wing 把高层cloud.Function/cloud.Queue抽象映射到 AWS 资源的方式。逐资源梳理如下Wing 抽象AWS 资源main.tf.json 中的键关键配置strToStr函数aws_lambda_function.strToStrruntime: nodejs20.x、memory_size: 1024、timeout: 60、architectures: [arm64]、handler: index.handlerfunc函数aws_lambda_function.func同上另注入环境变量FUNCTION_NAME_*指向strToStr的 ARN函数日志aws_cloudwatch_log_group.func_*/strToStr_*日志组名/aws/lambda/func-*retention_in_days: 30执行角色aws_iam_role.*_IamRole_*assume_role_policy允许lambda.amazonaws.com承担权限策略aws_iam_role_policy.func_IamRolePolicy_*func的 IAM Policy 含lambda:InvokeFunctionResource指向${aws_lambda_function.strToStr.arn}——这正是func 调用 strToStr所需的最小权限基础执行角色aws_iam_role_policy_attachment.*挂载AWSLambdaBasicExecutionRole代码存储aws_s3_bucket.Code 两个aws_s3_object函数代码打包后以S3Object资产形式引用ASSET_KEY/ASSET_SOURCE为占位符q队列aws_sqs_queue.Queuemessage_retention_seconds: 3600、visibility_timeout_seconds: 30几个值得强调的实现事实权限与提升清单严格对应func的 IAM Policy 只授予lambda:InvokeFunction且资源限定为strToStr的 ARN见 packages/winglang/sdk/src/shared-aws/function.ts 中的lambda:InvokeFunction动作。这正是 Wing 权限模型显式提升 按需授权在 tf-aws 平台的具体落地——你在源码中用到了什么资源、什么操作编译器就生成什么权限无需手写 IAM。环境变量桥接func的 Lambda 环境变量中出现了FUNCTION_NAME_bc9a3a6d: ${aws_lambda_function.strToStr.arn}。这是 Wing 在 inflight 运行时解析资源引用的机制——func在运行时通过这个环境变量拿到strToStr的 ARN 来发起调用同时每个函数还注入WING_FUNCTION_NAME与WING_TARGET: tf-aws标识自身。未使用的队列仍被合成源码创建了q new cloud.Queue()却从未在 inflight 中使用但 preflight 依然把它合成为 SQS 队列资源aws_sqs_queue.Queue。这与 cloud.Queue 的 inflight 方法如 push在未被提升时不产生额外权限策略的表现一致——资源存在但无对应调用权限。AWS Lambda 函数的默认参数memory_size: 1024与timeout: 60分别对应 packages/winglang/sdk/src/cloud/function.ts 中FunctionProps.timeout默认1m与FunctionProps.memory默认1024的默认值。invoke 的 SDK 抽象与 AWS 运行时实现快照中$strToStr.invoke(...)在运行时究竟做了什么这由 SDK 的两层代码共同回答。第一层是抽象接口。cloud.Function的 inflight 客户端接口定义在 packages/winglang/sdk/src/cloud/function.tsexport interface IFunctionClient { invoke(payload?: Json): PromiseJson | undefined; invokeAsync(payload?: Json): Promisevoid; }invoke同步等待函数返回结果invokeAsync则立即返回、后台执行对应FunctionInflightMethods枚举中的INVOKE与INVOKE_ASYNC见 packages/winglang/sdk/src/cloud/function.ts。由于二者都返回Promise所以编译器在 inflight 相位对它们的调用一律需要隐式地await。第二层是平台实现。tf-aws 平台的实现在 packages/winglang/sdk/src/shared-aws/function.inflight.tsinvoke使用 AWS SDK v3 的InvokeCommand通过FunctionName: this.functionArn指定目标函数payload 为undefined时显式序列化为 JSONnull避免 Lambda 收到空对象{}invokeAsync则额外设置InvocationType: Event走异步调用并以response.StatusCode ! 202判断是否成功入队同步调用失败时parseCommandOutput会解析 Lambda 返回的错误负载并附上 CloudWatch 日志链接便于排查packages/winglang/sdk/src/shared-aws/function.inflight.ts。由此可以串起一条完整的调用链Wing 源码中的strToStr.invoke(one)→ 编译器在 inflight 相位插入隐式await→ 运行时经环境变量中的 ARN 构造FunctionClient→ 调用 AWS Lambda 的InvokeCommand→ IAM 权限由编译期生成的lambda:InvokeFunction策略保证。运行验证sim 平台快照除了 tf-aws 编译快照hangar 还保存了同一测试在模拟器平台上的运行快照 tools/hangar/snapshots/test_corpus/valid/asynchronous_model_implicit_await_in_functions.test.w_test_sim.md。其内容是一份标准输出日志pass ─ asynchronous_model_implicit_await_in_functions.test.wsim (no tests) Tests (0) Snapshots 1 skipped Test Files 1 passed (1) Duration DURATION这份日志说明该测试文件不包含test块no tests因此在 sim 平台只完成编译与资源合成即视为通过日志中的Duration DURATION是 hangar 快照的占位符运行时长不纳入比对。值得一提的是虽然快照标题为test_sim但 Wing 源码中的log(...)与invoke语义已在编译期被验证类型检查 jsify 成功这正是隐式 await 语法被编译为合法async代码的直接证据。对开发者而言若想本地复现这份快照的行为可以使用wing test配合--platform sim或wing it在 Wing 控制台中运行该.w文件参见 docs/by-example/14-async-functions.md 中的wing it示例模拟器会真实执行函数并打印日志也可以参照 hangar 的运行方式将目标设为 tf-aws 后对生成的main.tf.json执行terraform apply部署到真实 AWS 环境。小结通过asynchronous_model_implicit_await_in_functions这一份 hangar 编译快照我们可以完整还原 Wing 隐式异步模型的四个层面语言层inflight 函数中对异步方法的调用无需手写await由编译器自动补全编译器层jsify.rs中的auto_await按当前相位Phase::Inflight决定是否注入await前缀并禁止 preflight 引用 inflight 值SDK 层cloud.Function的invoke/invokeAsync统一返回Promise平台实现AWS LambdaInvokeCommand与权限lambda:InvokeFunction均由编译产物自动生成产物层preflight.cjs合成应用树main.tf.json输出完整 AWS 资源配置inflight.*.cjs携带闭包与提升清单。这份快照同时是理解 Wing 权限模型最小权限策略、捕获/提升lift机制以及平台抽象同一份源码多平台编译的最佳样例。若想深入更多场景可以继续阅读 tests/valid 目录下其他capture_*.test.w、inflight_*.test.w测试及其对应的 hangar 快照它们共同构成了 Wing 异步语义的完整测试矩阵。赞分享编程语言编译器云原生语言运行时【免费下载链接】wingA programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡项目地址https://gitcode.com/gh_mirrors/wi/wing点击查看免费下载相关推荐Wing 语言 util.sleep 延迟执行解析从 inflight 语义到 tf-aws 编译产物快照验证Wing 语言 util.sleep 延迟执行解析从 inflight 语义到 tf aws 编译产物快照验证 util.sleep 是 Wing 标准库中唯编程语言编译器云原生语言运行时Wing 编译产物解剖以 store.w 的 tf-aws 快照解读 preflight/inflight 与 lift 机制Wing 编译产物解剖以 store.w 的 tf aws 快照解读 preflight/inflight 与 lift 机制 导读 本文以 Wing 开源仓编程语言编译器云原生语言运行时Wing 云编程语言实战深入解析 cloud.Counter 的 dec() 递减语义与 tf-aws 编译产物Wing 云编程语言实战深入解析 cloud.Counter 的 dec 递减语义与 tf aws 编译产物 导读 cloud.Counter 是 Wing编程语言编译器云原生语言运行时上一篇react-admin 的 Confirm 组件基于 Material UI Dialog 的确认弹窗完整指南下一篇Sails 框架 res.send() 方法详解发送 XML、CSV 与纯文本响应创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考