Typescript是不是还不够聪明，不能从一个空对象中推断出后来添加的属性？

Typescript是一种静态类型的编程语言，它是JavaScript的超集，为JavaScript添加了静态类型检查和其他一些特性。在Typescript中，类型推断是通过分析代码中的上下文来确定变量的类型。对于空对象，Typescript无法推断出后来添加的属性的类型。

这是因为在Typescript中，对象的类型是在声明时确定的，而后续添加的属性并不会改变对象的类型。如果要在空对象中添加属性，并希望Typescript能够推断出属性的类型，可以使用类型断言或者显式声明属性的类型。

类型断言是通过使用as关键字将一个值断言为特定的类型，从而告诉Typescript该属性的类型。例如：

let obj = {} as { name: string };
obj.name = "John";

在上面的例子中，我们使用类型断言将空对象{}断言为具有name属性的对象，并给name属性赋值。

另一种方法是显式声明属性的类型。例如：

let obj: { name: string } = {};
obj.name = "John";

在上面的例子中，我们显式声明了obj对象的类型为具有name属性的对象，并给name属性赋值。

总结起来，Typescript在空对象中无法推断出后来添加的属性的类型，但可以通过类型断言或显式声明属性的类型来解决这个问题。