这算不算是静态类型系统的缺憾

[fpure]

以这段 typescript 代码为例，f 期待一个类型为 10 的参数，x 等于 10 ，但是因为 x 的类型为 number ，所以不匹配

[liyang5945]

类型为 10 是什么鬼

[Trim21]

什么叫做类型是 10…

[tsanie]

是要参数默认值？那是 function f(x: number = 10)，类型为 10 属实是没看懂。

[cmdOptionKana]

楼主不如说说最终想实现怎样的效果。

[idealhs]

我都不知道你在讲什么东西

[LonelyShadow]

这是考验 v 友们的 typescript 功底吗？😂

[ryougifujino]

你给 x 声明一个显式类型 10 就可以了。这个代码的原因是 TypeScript 在 x 那里类型推断的是 number 类型。

[jspatrick]

如果 x 的值必须是 10 ，那 x 就没有传参的必要吧

[Carseason]

```
let x: 10
x = 10
function f(x: 10) { }
f(x)
```

[fpure]

@jspatrick 一个例子罢了，这里的 x 还可以为 10|11 、全体偶数、全体能被 10 整除的数，如果类型系统可以表达的话

[gydi]

x 的值是 10 ，但是它的类型是 number ，意味着它的值可能是 0123456789 ，所以不匹配

[IvanLi127]

我寻思，这不是很合理吗？ 你的形参都要求类型是 10 了，number 里那么多数字，你不显式强转的话，那类型检查岂不是很没有面子？

[ljsh093]

入参的类型与 number 类型不同当然会报错

[fpure]

其实我是想讨论关于类型收窄、依值类型等话题，我在想这里 x 的类型可不可能随着实际取值完美收窄，然后程序通过这样的类型系统自动证明程序的正确性

[TWorldIsNButThis]

字面量类型不是 number 类型的子类型

[4196]

type x = 10 | 11;
let X: x = 10
function f(arg: x) { }
f(X)

[TWorldIsNButThis]

@TWorldIsNButThis 说反了 是 number 类型不是字面量类型的字类型

[Trim21]

没记错的话 10|11 在 ts 里面就个合法类型，你把 12 传进去是会报错的

[Trim21]

const x=10 as const;

f(x) 就不会报错了

至于类型收窄等等等等 ts 也是会做的

[mxT52CRuqR6o5]

不算
真正的静态类型语言的类型系统整不出这种操作
这个只能算 ts 类型系统，算不算遗憾还另说