VS Code 扩展

nudo-vscode 扩展将 Nudo 的类型推断带入编辑器，提供悬停类型、补全、CodeLens 和内联提示。

安装

1. 打开扩展视图（Cmd+Shift+X / Ctrl+Shift+X）
2. 搜索 nudo-vscode 或 "Nudo"
3. 点击 安装

或从命令行安装：

code --install-extension wmzy.nudo-vscode

激活

打开 JavaScript 文件时扩展会激活。它使用 @nudojs/lsp 包运行 Language Server Protocol（LSP）服务器，提供所有编辑器功能。

文件检测：语言服务器分析 .js、.ts 与 .mjs 文件。出厂默认 nudo.analysis.mode = "exports"（含 export / 侧车 / 指令）；可设 "all" 或 "directives"。契约写在 *.nudo.js 侧车与源内 @nudo:refine / @nudo:interface；@nudo:case 是调试 / nudo test 子层。完整语法见指令参考。跨编辑器能力对比：LSP 客户端矩阵。

激活 vs 分析门：activationEvents（onLanguage:javascript / onLanguage:typescript）只负责启动客户端。缓冲区是否被分析由服务端 shouldAnalyzeFile 门决定（目标路径 + nudo.analysis.mode）。JSX/tsx 可激活扩展，但不是 Nudo 分析目标。

发布检查清单（维护者）

完整清单：monorepo 内 packages/vscode/RELEASE_CHECKLIST.md。每次 Marketplace / Open VS X 发布必须覆盖：

1. Bundled server 对齐 — 扩展经 scripts/bundle-server.mjs 将 @nudojs/lsp 的 dist 拷入 server/server.js。先构建 monorepo；在扩展 CHANGELOG 记录 bundled lsp 版本。vsix 自包含（运行时不读 monorepo 兄弟路径）。
2. 分析默认 + 逃生舱 — 默认 nudo.analysis.mode = "exports"。项目 package.json#nudo.analysis.mode："directives"（保守，诊断档 errors）或 "all"。发行说明必须写明该默认；会新增诊断的默认翻转按破坏性变更处理。
3. 与 tsserver 共存 — Nudo 与内置 TS 服务器并存，不替代 tsc。混合仓库请收紧 nudo.analysis.include / exclude，见共存指南。
4. 打包 dry-run — pnpm --filter nudo-vscode run build && pnpm --filter nudo-vscode run package；本地安装 .vsix；在含 export 的 .js 上确认 hover/诊断；确认命令面板含 nudo.selectCase / nudo.interface / nudo.interface.draft / nudo.interfaceEmit。
5. Marketplace / Open VS X 发行说明模板 — 扩展版本、bundled lsp 版本、分析默认、共存说明、协议表面指针（PUBLIC_API）、已知问题。

Service 层日用冒烟（无需 live VS Code）：packages/lsp/src/__tests__/ide-daily-smoke.test.ts。公开冻结面：@nudojs/lsp PUBLIC_API.md / API 页。

功能

悬停类型

将鼠标悬停在表达式上可查看其推断类型。扩展通过 getTypeAtPosition 计算光标处的类型，并在悬停工具提示中显示。

/**
 * @nudo:case "test" (42)
 */
function double(x) {
  return x * 2;  // hover over x → number
}

补全

在表达式后输入 . 时会触发补全。LSP 会根据该位置的推断类型建议属性和方法。

/**
 * @nudo:case "test" ("hello")
 */
function upper(s) {
  return s.  // completions: toUpperCase, toLowerCase, slice, etc.
}

Interface 与 Case 上的 CodeLens

CodeLens 面向 interface 档（设计 §8）：

• ● interface / handwritten|generated|implicit —— 每个导出函数的有效契约来源；点击打印与 nudo interface 同一表面
• ⚡ persist interface / ↻ update interface —— 把调用点域固化进 *.nudo.js 侧车
• ● / ○ case "name" —— debug 副层；点击选择类型重放的激活 case

悬停导出函数名时，hover 首行与 CodeLens 同源显示 ● interface / <source>（A7）。VS Code 中当前激活 case 以不同样式高亮。

• ● case "name" — 当前激活
• ○ case "name" — 点击激活

这样可以在不修改文件的情况下查看不同输入下的类型。

内联提示

内联提示会在行内显示类型信息。在每个 case 的结果之后或相关位置，Nudo 会将推断的类型以灰色注释形式显示。

状态栏

右侧状态栏在扩展激活时显示 Nudo，悬停提示为 "Nudo Type Inference Engine"。

跳转到定义

跳转到函数、变量或类的定义。将光标放在标识符上并按 F12（或右键 -> Go to Definition）。

function process(data) {
  return transform(data);  // F12 on transform → jumps to its definition
}

查找引用

在当前文件中查找符号的所有使用。按 Shift+F12（或右键 -> Find All References）。

重命名符号

安全地重命名符号及其所有引用。按 F2（或右键 -> Rename Symbol）。Nudo 会验证新名称不会与现有符号冲突。

签名帮助

在函数调用的括号内输入时，Nudo 会显示参数提示。在输入 ( 或 , 时自动激活。

/**
 * @nudo:case "test" (string(), number())
 */
function createUser(name, age) { ... }

createUser(  // ← signature help shows: (name: string, age: number)

代码操作 / 快速修复

当 Nudo 报告诊断时，可使用快速修复建议。点击灯泡图标或按 Cmd+. / Ctrl+. 查看可用修复：

• 移除不可达代码 ——针对 return/throw 之后的代码

语义标记

Nudo 根据推断类型提供语法高亮。函数、变量和死代码的高亮与标准语法着色不同。

命令："Nudo: Select Case"

也可以调用命令面板（Cmd+Shift+P / Ctrl+Shift+P）并运行 Nudo: Select Case。该命令注册为 nudo.selectCase，供 CodeLens 用于切换函数的激活 case。

命令：Interface / Draft / Persist

面板标题	命令	行为
Nudo: Show Interface	nudo.interface	在 Nudo 输出通道打印分层（同 nudo interface）
Nudo: Draft Interface (code-first)	nudo.interface.draft	Output 预览草稿；可选写入 *.nudo.draft.js / *.nudo.draft.ts（无项目根时写盘 fail-closed）
Nudo: Persist Interface (@generated)	nudo.interfaceEmit	先 dry-run（dryRun: true，不写盘）→ Output 预览 → 确认 → 真实写入侧车。CodeLens persist/update 共用同一确认流程

非手写导出上的 CodeLens 含 ⚡ draft interface——与 CLI --draft、agent nudo.interface.draft 同源。persist/update CodeLens 在确认对话框接受前绝不会写盘。

---

资源占用

Nudo 语言服务器的设计目标是在你的其他工具旁保持轻量：

• 内存有界。 请求之间，服务器只持有轻量簿记 —— 文件路径、函数名和少量每文件记录 —— 你一关闭文件，它的分析结果即被丢弃。服务器绝不在内存中保留解析后的语法树，其定位是与 TypeScript 自身的语言功能并排运行，而非取而代之。
• 打开即出诊断。 打开文件就会立即分析；无需先编辑一次才能看到 Nudo 的诊断。
• 陈旧诊断在重开时消除。 你关闭的文件不会因其依赖发生变化而被重新分析 —— 它的诊断保持原样，直到你再次打开该文件时刷新。从磁盘删除的文件会自动清空诊断。

---

总结

功能	描述
悬停	Abs / intension；导出函数名显示 ● interface / <source>
补全	在 . 后触发；属性和方法建议
CodeLens	interface 档 + persist/update；case 副层
内联提示	Abs 参数/返回；implicit 导出标 derived
跳转到定义	跳转到符号定义（F12）
查找引用	查找符号的所有使用（Shift+F12）
重命名符号	重命名符号及其所有引用（F2）
签名帮助	函数调用内的参数提示
代码操作	诊断的快速修复
语义标记	类型感知高亮 + interface 档 modifier
状态栏	激活时显示 "Nudo" 指示器
命令	nudo.selectCase / nudo.interface / nudo.interfaceEmit

参见：LSP 客户端矩阵（其他编辑器）。