SuperAPI AI 工具集

generating-sorbet-inline

编程与开发

查看项目

更新于 10-16 09:32

技能介绍

用途:在 Ruby 源文件中内联生成或更新 Sorbet 类型签名,使用 sig { } 块,仅针对方法签名,不生成 .rbi 文件。

主要能力与规则:可全量生成或按文件局部更新;要求先 extend T::Sig;必须保留文件已有的 # typed: 严格级别,无则默认加 # typed: true;禁止使用 T.untyped、T.unsafe、T.cast,需按上下文推断类型;不得运行项目 Ruby 代码;项目含 Gemfile 时命令前加 bundle exec;类型不清时应向用户询问。

流程:分析源文件(类、模块、方法、可见性、typed sigil)→ 添加 sig 签名 → 消除 T.untyped → 复查精炼 → 用 srb tc 或 bundle exec srb tc 验证。多文件处理时创建跟踪文件 .sorbet-inline-generation-todo.tmp,逐条标记 [x],完成后 rm .sorbet-inline-generation-todo.tmp,中断可续。参考 syntax.md 与 sorbet_examples/。

限制:仅内联签名;不覆盖局部变量与中间表达式;不改变严格级别除非用户同意;具体平台、收费等信息暂未提供。