能否结合JSDoc注解与Flow实现单文件类型校验？

1. 完全可以实现Flow识别JSDoc且无需转译 #

Flow本身就支持标准JSDoc类型注解，不需要依赖Babel或其他转译工具，直接就能进行类型检查。

你只需要确保代码格式正确，并且在文件顶部加上// @flow指令开启Flow检查：

// @flow
/**
 * @param {string} str
 * @return {string}
 */
function foo(str) {
  return str + str;
}
foo(1); // Flow会提示类型不匹配错误

然后执行你提到的命令：

flow check-contents < foo.js

Flow会输出明确的错误提示，比如：Cannot call foo with 1 bound to str: number is incompatible with string，完全符合你的预期。

2. 关于Flow为何自创语法的说明 #

其实这个问题要结合Flow的发展背景来看：

• Flow诞生初期，JSDoc的类型系统还比较有限，像联合类型、交叉类型、复杂泛型这类高级特性，在当时的JSDoc里没有很好的支持方案。Flow为了满足复杂场景的类型检查需求，设计了一套更紧凑、更强大的原生类型语法，方便开发者快速编写精准的类型注解。
• 后来JSDoc逐步扩展了类型支持，但Flow已经积累了大量习惯原生语法的用户，所以官方选择同时支持两种方式——既兼容标准JSDoc，也保留原生语法，给开发者自主选择的空间。
• 当然，Flow原生语法在一些场景下确实比JSDoc更简洁，比如function foo(str: string): string比完整的JSDoc块更紧凑，适合偏好精简写法的开发者。

不过需要强调的是：如果你已经有现成的标准JSDoc，完全可以直接用Flow进行类型检查，不需要切换到Flow的原生语法，Flow对JSDoc的支持已经覆盖了绝大多数常用的类型场景，不用因此被迫转向TypeScript。

内容的提问来源于stack exchange，提问作者Olle Härstedt