Soundness
如果您没有类型理论方面的背景知识，您可能不太了解
类型系统是 “健全的” 这个概念。
健全性是指编译器可以使值不仅在编译时，还可以在运行时具有预期的类型。
这对于大多数从一开始就具有类型的编程语言来说是很正常的。
要对于一个已经存在了几十年的语言建立一个类型系统，就需要对三个质量维度进行
权衡和取舍：简单性，可用性和健全性。
TypeScript 的目标是支持所有的 JavaScript 代码，
且为 JavaScript 添加类型支持时，语言趋向于简单易用。
让我们看一些让 TypeScript 看起来没那么健全的例子，
并且去理解这些权衡和取舍是什么样子。
类型断言（Type Assertions）
const usersAge = ("23" as any) as number;
interface InputEvent {
timestamp: number;
}
interface MouseInputEvent extends InputEvent {
x: number;
y: number;
}
interface KeyboardInputEvent extends InputEvent {
keyCode: number;
}
function listenForEvent(eventType: "keyboard" | "mouse", handler: (event: InputEvent) => void) {}
listenForEvent("keyboard", (event: KeyboardInputEvent) => {});
listenForEvent("mouse", (event: MouseInputEvent) => {});
// 而这个可以一直回溯到最小的公共类型：
listenForEvent("mouse", (event: {}) => {});
// 但没有更进一步。
listenForEvent("mouse", (event: string) => {});
// 这覆盖了实际环境中 JavaScript 事件监听器的模式，但是会牺牲一些健全性。
function getRandomNumbers(count: number, callback: (...args: number[]) => void) {}
getRandomNumbers(2, (first, second) => console.log([first, second]));
getRandomNumbers(400, (first) => console.log(first));
// 空返回值函数可以匹配具有返回值的函数
// 一个返回空的函数，可以接受一个返回其他类型的函数。
const getPI = () => 3.14;
function runFunction(func: () => void) {
func();
}
runFunction(getPI);
// 要了解更多关于类型系统健全性取舍的内容，可以查看：