讨论： JS 程序员觉得 RuntimeTypeInspector.js 怎样？

https://runtimetypeinspector.org/ 里面说 RuntimeTypeInspector.js 配合 babel.js 等工具能够生成类型断言。这些断言将被用于在运行时，以避免错误或给出有效报错信息。

网站给出的典型案例是： 在 js 代码中手动添加类型标注如

/** * @param {number} a * @param {number} b */ function add(a, b) { return a + b; } /** @type {number[]} */ const arr = [10_20]; const [a, b] = arr; const ret = add(a, b); console.log("ret", ret); 

生成

import {inspectType, youCanAddABreakpointHere, registerVariable, validateDivision, registerTypedef, registerClass} from '@runtime-type-inspector/runtime'; export * from '@runtime-type-inspector/runtime'; /** * @param {number} a * @param {number} b */ function add(a, b) { if (!inspectType(a, "number", 'add', 'a')) { youCanAddABreakpointHere(); } if (!inspectType(b, "number", 'add', 'b')) { youCanAddABreakpointHere(); } return a + b; } /** @type {number[]} */ const arr = [10_20]; const [a, b] = arr; const ret = add(a, b); console.log("ret", ret); 

这玩意儿拿了德国 STF （主权技术基金）几十万欧元（大概），然后在 github 上面参与程度似乎也不是很高。我不是 js 程序员，所以想听听大家对这个东西怎么看。

我自己的想法： 它的设计是，你需要类型检查你就标注，你不需要类型检查就不标注。这其实就兼顾了写代码的顺畅感和可靠性。但是是否真的所有函数需要手动标注类型，或者说手动标注类型的比例有多大，这是个问题。一些高阶函数我也不知道怎么标注类型。