使用 TypeScript 你就会看到所有 Dom 属性的定义

不会写标题就不要发帖

vuex 的情况类似

用过 vue 的 vuex 吗

Bing 还是用的

C# 和 Java 不能和 TypeScript 相提并论，TypeScript 不是倾向于面向对象，安全的抽象就是要有类型，说类型不重要的根本不懂得怎么抽象代码，写起来就是动态火葬场，不考虑类型安全，垃圾程序员太多，不说了。

说 Ts 像 Java 、C# 的感觉是不能明白：为什么 Ts 是 Js 的超集，知道 keyof 怎么用吗，知道联合类型和交叉类型吗。Ts 的类型系统不是 Java 、C# 能比的，Ts 可以说很强大，可以描述 Js 的很多东西。

看了评论，弱鸡太多，不写 Ts，去写 Js，活该你写 Js 。Ts 是挡不住的，Js 纵容那些白痴写代码，到后来还是用 Ts 重写，你可以现在不学，但是你也挡不住 Ts，门槛就是要提高。

可以的，不过这个书本上又讲

看评论还是弱鸡太多，没意识到静态类型语言解决的问题。由他去。

function fn3<T extends keyof TMap>(a: T, fn: TMap[T]) {

}
这个也可以

interface TMap {
"a": (a: number) => any
"b": (b: number | string) => any
"c": (c: Date) => any
}

function fn2<T extends keyof TMap, F extends TMap[T]>(a: T, fn: F) {

}

可能有些人不明白，就算你不手动写返回类型，这个函数也是有返回类型的，不是说写了才有返回类型

坚决不要，推导出来才是真实的，后面方法改动也是方便，除非你的返回值要做 as 处理，也不推荐只返回实际值的一个接口，要返回就返回真实的值。

一个思路通了，写一遍代码，编译期问题就检查更改，通过编译检查，一次运行无 Bug，满足现有的需求。这种情况存在吗，存在，好好去学类型系统，其他编程范式。还有一部分 Bug 是类库或者现有平台的历史遗留问题，甚至是历史的傻逼操作，接触了就增加经验了，但是我还是不推荐在这上面花费功夫，例如前端，傻逼操作多。

想法和有一致，也有不同，留个联系方式，我们交流一下

小拇指根部，就是手掌直接压下去就可以了。