3 个屏幕写 BUG
左边放浏览器，中间放编辑器，右边竖屏放 terminal + 聊天工具

因为只有单向的路由，反向没有路由。

主要是 A 有一层 nat 。没有这层 nat 只需要添加一个反向的路由就能通了。
我在局域网机器上装 hyperv 虚拟机接内部网络经常这么搞。给虚拟机所在网络所有接口分配一个 192.168.*.*/24 网段，宿主机打开 ip 转发，在主路由上配置这个网段转发给宿主机，就能做到家内所有机器 /虚拟机直接访问

这种情况我觉得可以搞个 zerotier ，这样就能拉到一个 VLAN 里，可能更简单一些

其实我觉得这个想法挺不错的。但执行起来肯定不会很简单。写一个语言不难，但是配套设施搞起来那就是个生态系统的问题了。

学习一下 Promise 把小老弟
看看 Promise.all

你需要的可能是 Promise.all

所以要么所有类型都是具体类型，要么所有类型都是类型参数。1 楼这个例子就是把 keyName 提升到了类型参数

研究了半天，我找到一个可能是答案的答案
typescript 目前不支持 partial type parameter inference
https://stackoverflow.com/questions/64376774/in-typescript-how-can-i-infer-my-arguments-and-impose-a-constraint-that-all-ite

function useTable<T extends { name: string }>(records: Array<T>) {
type IsNameInKeys = 'name' extends keyof T ? true : false

const a: IsNameInKeys = true;
const b: IsNameInKeys = false;

return useTableWithCustomKey(records, 'name');
}
这个地方 是不是看起来 IsNameInKeys 不是 true 就是 false ？然而 变量 a 和 b 的类型检查都无法通过。

@catinsides 手柄压强比键鼠难多了我感觉。那些手柄大佬是真的牛逼，右手一个大拇指就能控制弹道，我自己试手指根本做不到那么高精度，要么没压要么压多了。感觉就像键鼠玩家第一次用鼠标一样。

可以学。linear algebra 并不难，难的是教材可能比较枯燥。高数也不是很复杂。推荐和 3b1b 的视频一起学，直观有趣。有兴趣可以 jd 上买一本大学线代高数教材参考

简单来说因为历史原因。

对比度和电视完全没法比。

@lcy 我这 ax201 无线协商速度 1.7G ，和 1G 的有线跑测速能跑 800M 。这速度总不可能比手机差把

信号不好不是网卡问题是天线问题。
建议换个好点的天线，最好是那种带延长能放桌面的离路由器近的。

上面那个 playgroud 链接复制错了

https://www.typescriptlang.org/play?target=99#code/CYUwxgNghgTiAEYD2A7AzgF3jArigKlGgNZoBc8APPvCAB4YgrBrYhTCoQCe8AFHwCU8ALwA+eHmIokAdxSCA2gF14AH3gqxfAG5QIOEOXj5h4+AAUYSALYBLNCEoBvAFDwP8ALRwOXXooA0vB2KPDEINxIAGYmyhT4Qar0jMysfAB0WbAA5sZQKNxmEgXc7p4VAPyW1vaOAMogGBgQIMAASkY4EBiUAIKyUHaMwJSdGDgwBNwADk6Jgcpiy+UVHhRSMvKuAL5iANyurqCQsAjI6Fi4BESkAEwU1LQMTCxsfig8-EKiEptyCi0un0hmMiiyGXwymKNVsDicbgqPnYnE+AWCoXCkRicQSSWeqTemWyMDyFFKMNKqzW1SscIaTRabU6aG6vQGQxGYyak2mc2oSWWYmpFQ2KGkAN2ByOF0w8BsQzCIngRG4KDA-BhiM8squXR6AEZRCrBsNsHhCCQ0HxFCLPD9zHS6iAMnA0EgIDoQHwjUREKhMIIADR2jwOiRO+Guower18ADkd3jKtYuuDoc1v1hzuj7s93ui+kcKf9l3Ta3tMJQIFk2fhlEwMFCOW0fBgaBh7YTRGA8cE5c80MO1N1bFZPTuxqgpquFtuaDuNoz4brjlzse9vtTAYwA4rK8ja7dG4TSZLaZDFbDMMPLuP+b4hYgxb9F+XVZrq6cjebrfbneteMez7Pd4CHXZDiAA

() => Promise<any>[] 是一个 Array Type
你需要把它转换成 Tuple Type 。可以像 Promise.all 改成
T extends readonly (() => Promise<any>)[] | []
也可以在参数类型改成 data: [...T]

参考
https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-0.html#variadic-tuple-types
https://github.com/type-challenges/type-challenges/issues/3444
https://github.com/type-challenges/type-challenges/issues/1924

https://www.typescriptlang.org/play?target=99#code/CYUwxgNghgTiAEYD2A7AzgF3jArigKlGgNZoBc8APPvCAB4YgrBrYhTCoQCe8AFHwCU8ALwA+eAAUYSALYBLNCEp5iKJAHcUYwQG0AumL4A3KBBwhy8fMPFSZCpZQDeAKHjxdAaXjyU8YhBuJAAza30KH3pGZlYUHFkAIxAYdw94AH57OUUQAGUQDAwIEGAAJUscCAxKAEENKHlGYEoKjBwYAm4AB2V8b0MxMTSPClV1LVcAX2HXZHQsWUb-EXgibhQwflsJN3TEVEw2NCqsVagGpuw8QhI0Pl0R-e3RCWkcpQA6ODQkCGMQHwAIyCAA0T32Qle2UcIG+lj+AL4AHIAEzIsEQ9JQuzvWHw37-QEhMxKTH7fSCaauIA

还有一些比较特殊的例子是 invarient 的。最常见的就是可写数组。因为数组的读操作是 corarient ，而写是 contravarient ，2 者结合起来就是 invarient 。
Array<Dog> 可以 push 一个 GrayHound 进去，也可以 pop 一个 animal 出来，但是不能赋值给 Array<Animal> 或者 Array<GrayHound> 的变量，因为前者可能会 push 一个 dog 进去，后者可能会 pop
一个 dog 出来。

最后一句有些错误，应该是：在你这个例子里，type T<U> = (v: U) => void

这是 Covariance and contravariance 的区别。
比如我们说 dog extends animal
如果一个函数调用接受一个 animal ，那么你传 dog 是没有问题的。
但是如果一个函数调用接受一个 callback ，这个 callback 会收到一个 animal ，如果你传一个收到 dog 的 callback 就不行。因为 callback 的调用方有可能会给你一个 animal ，但 animal 不是 dog 。
针对类型 T ，如果说 T<dog> extends T<animal> 则 T 是 covarient 。如果 T<animal> extends T<dog>，则 T 是 contravariant 。在你这个例子里，T = (v: T) => void