kingwl

@libook

是，但不完全是。例如：

```ts

/**
* @template {string} T
* @param {T} x
* @return {T}
*/
function strindId(x) {
return x;
}

const a = strindId(1); // Argument of type 'number' is not assignable to parameter of type 'string'.
const b = strindId("");

```

除非有人 /公司另外实现了一个 TS typechecker, 否则最后还是交给了 TS 。。。

@libook 你猜你这三个截图的功能在 VSCode 里面是谁做的。。。

@frankHB

`
interface Resp<T = unknown> {
data?: T
}
const res :Resp = {}
const abc = res.data.abc
`

> People percieve TypeScript as "just the compiler", but it's a better mental model to think of TypeScript as two separate entities: The compiler (aka syntax) and language tools (aka editor integration) - by treating these two systems as separate you have two important perspectives to understand decisions get made.

https://orta.io/notes/js/why-typescript

> 本身弱类型为优势的 Javascript （并不是优势）

> 套了一层强类型的壳的这步操作我就看不懂了，这是图啥呢？（并不是强类型）

> 这样代码写着不难受么？那你直接用 Java 写然后编译成 Javascript 不好么？（不难受，不好，Java 也不是强类型）