<s>Human: 解释一个专业概念并举例说明。
类型推断。
</s><s>Assistant: 类型推断（Type inference）是一种编程语言特性，它能够自动计算和推断代码中变量、函数、表达式等的数据类型，而无需显式地给它们指定数据类型。类型推断可以减少代码量和代码中的错误，提高开发效率和代码质量。

例如，下面是一段使用类型推断的TypeScript代码：

```typescript
const name = "AtomGPT"; // 推断为字符串类型
let age = 18; // 推断为数字类型
function add(a: number, b: number) { // 参数和返回值类型都被推断为数字类型
  return a + b;
}
```

在上面的例子中，变量name和age的数据类型都被编译器自动推断出来了。而在函数add中，参数a和b以及函数的返回值都被自动推断为数字类型。

类型推断可以极大地简化代码编写过程，同时保证了类型的正确性，避免了一些类型错误的出现，能够使开发人员专注于业务逻辑的开发和维护。
</s>