第760期：类型检查器、Claude Code Hooks、MarkItDown 等（2026-11-10）
内容提要
本文介绍 Python 类型检查器 ty 如何判定变量未被使用：仅当没有任何读取解析到该变量的绑定时才算未使用，而读取可能位于嵌套函数或推导式中。
延伸解读
“未使用”判定比表面更复杂
文章指出，ty 判断变量是否未使用，关键不在于变量名是否在代码中出现，而在于是否存在任何读取操作解析到该变量的绑定。这意味着，即使变量在定义后看似没有直接使用，只要在嵌套函数或推导式中有读取指向它，就不能算作未使用。这种判定方式更贴近 Python 的实际作用域规则，也提醒开发者不能仅凭肉眼扫描判断。
嵌套作用域是常见盲区
由于读取可能位于嵌套函数或推导式中，类型检查器需要追踪跨作用域的引用关系。对于开发者而言，这意味着在清理“未使用变量”时，不能只检查当前函数体，还要留意闭包和推导式内部是否引用了外层变量。否则，可能误删实际被间接使用的绑定，或误解类型检查器给出的提示。
对日常代码清理的启示
这篇文章虽然聚焦 ty 的实现逻辑，但对日常开发有实际参考价值：判断变量是否冗余时，应关注“是否有读取解析到绑定”，而非变量是否被书写。在涉及嵌套函数或推导式的代码中，尤其需要谨慎处理未使用变量的警告或删除操作，避免破坏原本有效的引用关系。
Q&A
Python 类型检查器 ty 如何判断一个变量未被使用？
ty 判断变量未被使用的标准是：没有任何读取操作解析到该变量的绑定。也就是说，只要存在至少一个读取（包括嵌套函数或推导式中的读取）指向该绑定，变量就被视为已使用；否则视为未使用。
为什么 Python 中嵌套函数或推导式里的读取会影响变量是否被使用的判断？
因为 Python 的变量读取可以发生在嵌套函数或推导式内部，这些读取同样会解析到外层变量的绑定。因此，类型检查器在判断变量是否被使用时，必须考虑这些嵌套上下文中的读取，而不能只检查当前作用域的直接使用。
Claude Code Hooks 能用来做什么？
Claude Code Hooks 可以自动化工作流，例如在每次编辑后自动格式化 Python 代码、强制执行选定的工具，以及在任务完成时发送通知。
MarkItDown 支持将哪些类型的文件转换为 Markdown？
MarkItDown 支持将 Excel 文件、PDF 和图像转换为干净的 Markdown，适合用于 LLM 和 AI 工作流。
Python 智能体为什么会返回过时的记忆，如何解决？
当用户更改偏好后，向量搜索可能同时返回新旧记忆。解决方法是将新记忆链接到它所替换的旧记忆，并将旧记忆标记为历史记录，这样智能体就能检索到当前信息并保留历史。
Django 最近发布了哪些安全版本？
Django 发布了安全版本 6.1.3、6.0.10 和 5.2.19。
