HeavyMithril:mithril.js 的更严格的 TypeScript 定义

正在进行中 - 更严格的 Mithril 类型定义 由于 Mithril 的高度动态性，精彩的的当前 .d.ts使用“any”。 但是“any”否认了静态类型的大部分好处，因此这是一种将“any”的用法替换为泛型、rest args、重载、联合类型等的努力。 单独的回购 它的输出将只是 mithril.d.ts 文件，但我正在这个单独的 repo 中做实际工作，所以我可以测试并且通常会弄得一团糟。 验证 为了测试更严格的定义是否正确，我通过添加注释和其他非功能性更改将测试套件移植到 TypeScript。 （我移植了测试套件而不是 Mithril 本身，因为测试涵盖了外部 API，这是我所关心的。）我还将 todo-app 示例移植到 TS 以进行更端到端的测试。 许可 遵从 mithril.js