里面说 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 程序员，所以想听听大家对这个东西怎么看。
我自己的想法：
它的设计是，你需要类型检查你就标注，你不需要类型检查就不标注。这其实就兼顾了写代码的顺畅感和可靠性。但是是否真的所有函数需要手动标注类型，或者说手动标注类型的比例有多大，这是个问题。一些高阶函数我也不知道怎么标注类型。
