请简述TypeScript中的"never type"的定义以及其在何时使用。

解答思路：

首先，需要解释TypeScript中的"never type"是什么。在TypeScript中，"never type"是一种特殊类型，表示的是一个值永远不会出现的类型。它常常与那些会导致程序永远不会执行的表达式或函数有关。然后，需要给出一些使用"never type"的典型场景，例如在抛出错误的函数返回类型中使用等。最后，可以讨论一下"never type"在TypeScript中的实际应用和它如何帮助提高代码的可读性和健壮性。

最优回答：

TypeScript中的"never type"是一种特殊类型，表示一个值永远不会出现的类型。它常常用于描述那些会导致程序永远不会执行的表达式的类型。在编写永远不会返回正常结果的函数时，可以使用"never type"。例如，一个总是抛出错误的函数可以返回"never type"。这种类型在TypeScript中非常有用，因为它可以帮助我们更准确地描述函数的返回类型，从而提高代码的可读性和健壮性。