[Paper] 开发者会阅读类型信息吗？一项关于 TypeScript 的眼动研究

Source: arXiv - 2602.04824v1

概述

本文研究了开发者在使用 TypeScript 代码时是否真的会阅读类型注解。通过追踪 26 名本科程序员在代码摘要和错误定位任务中的眼动轨迹，作者提供了实证证据表明，尽管先前研究指出静态类型可以帮助理解，但类型信息往往被忽视。

Key Contributions

• Empirical eye‑tracking study 对真实的 TypeScript 代码，拥有相当规模的参与者（26 名学生）。
• Quantitative evidence 表明开发者在摘要和寻找 bug 的任务中很少注视包含类型注解的行。
• Insightful discussion 说明观察到的阅读模式如何影响工具设计、编码标准和编程教育。
• Open data and analysis scripts（作者发布）以便复现和进一步研究。

方法论

1. 参与者 – 26 名具有基础 TypeScript 经验的本科生。
2. 任务 –
   • 代码摘要：参与者阅读一个函数并用简短的自然语言描述其功能。
   • 缺陷定位：参与者找出导致预设缺陷的代码行。
3. 材料 – 四段 TypeScript 代码片段（两段带显式类型注解，另外两段不带），取自开源项目。
4. 眼动追踪设置 – 使用 Tobii 眼动仪以 60 Hz 记录凝视点。将注视映射到源码令牌，以便研究者计算在类型相关令牌与其他代码上的注视时间比例。
5. 分析 – 通过配对 t 检验和混合效应模型，对类型注解行与非类型行在各任务中的注视计数进行统计比较。

结果与发现

• Low fixation rates: 平均而言，参与者在类型注释行上停留的时间不到 10 %，相较于他们在周围代码上花费的时间。
• No task‑dependent increase: 错误的出现并未导致开发者更多地查看类型信息。
• Summarization vs. bug‑localization: 两项任务表现出相似的模式；开发者主要依赖函数体，而非其类型签名。
• Statistical significance: 在所有条件下，带类型注释的行与未注释行的注视计数差异具有统计显著性（p < 0.01）。

实际影响

• 工具构建者：IDE 可以更主动地展示类型信息（例如悬停弹窗、行内提示），而不是假设开发者会自行阅读注解。
• 代码审查与文档：团队可能会将类型签名视为元数据而非主要文档，鼓励补充注释或设计文档。
• 编码规范：项目可以采用约定，将最关键的信息（例如命名、注释）放在函数体内，仅将类型用于静态检查。
• 教育：课程应明确教授学生如何利用类型——或许通过要求阅读和解释类型签名的练习——而不是假设该技能会自然形成。
• 静态分析工具：由于开发者常常忽视类型，自动展示与类型相关的警告或建议的工具可能比仅依赖注解存在的静态检查更有价值。

限制与未来工作

• 参与者池：所有受试者均为本科生；专业开发者可能表现出不同的阅读习惯。
• 任务范围：仅考察了两种任务类型（摘要和错误定位）；其他活动如重构或 API 设计可能会得到不同的结果。
• 语言焦点：研究结果特定于 TypeScript；类型系统更丰富的语言（例如 Rust、Haskell）可能会鼓励更以类型为中心的阅读。
• 未来方向：将研究扩展到业界从业者，探索更丰富的 IDE 对类型的支持的影响，并调查培训干预是否能改变阅读模式。

作者

• Samuel W. Flint
• Robert Dyer
• Bonita Sharif

论文信息

• arXiv ID: 2602.04824v1
• 类别: cs.SE
• 出版日期: 2026年2月4日
• PDF: 下载 PDF