TypeScript：静态类型检查器

我们之前说过，有些语言根本不允许那些有缺陷的程序运行。在不运行代码的情况下检测代码中的错误称为静态检查。根据正在操作的值的种类来确定什么是错误，什么不是错误，这被称为静态类型检查。

We said earlier that some languages wouldn't allow those buggy programs to run at all. Detecting errors in code without running it is referred to as static checking. Determining what's an error and what's not based on the kinds of values being operated on is known as static type checking.

S0abEWZ9yQ1gPKUQVTvtY6XzuYxBanZ1x6SwCbsDpfwdqukCVaumQ1evHuAAWYpDHOjftxuzn0L/ZoBw1dqmEM9S9w7QcAWXU/k5cZYJBqPiBnXNaS1yMDL84n1JtBZTjDRgTlkCzy/+KrZtQqVnbm6lmbAoaK2qH/Ln/DXRMRVBaowp+pwB9fYIQCe89wkBfLkH/upYUsuMbYTHic/bqE8NJ2pMmV3gYfRBZt4FIGA15O6qtXLydYh4QY1liAfEj60qbc/rHn0oAoQVPbA3T/frZuwVBhCSntBqdt8YVNfAyUO2rMljQ+t4xxUfWowzQ+9Z65PzWgxdoy7C9UifiRLhDnqoss4osjUVTlVYVZ82vbweW0P6DMh4SiVeLwnGz+7W31jiTXInYx4pqPBhIU0MsMsiC+mQ+LpZg7C3M6scv6lcT86HVZ1QjOuS++Dunspelzm4NaEfzjrghQXxJ6go15ORzzTiOgzBo+hPiQH3f1Nf1sx3H0Qsn7rBoN9EtaxjxVC+wxDcvRhVF4NAo2vCNu1TXe6GipNyw1lmwechlXihA0r2lxD3knBCyMpH0Xm4DQygH2ISZExEqrCsENZjYfouh7rsxvHrMPuTKX1r7s2a50fakn09nk37F9JbWGElo1+Qy2e69S8lop8DraLbUBjUiHWDAwzOMNNTJvdRjsTSbfOoBRPUNYrMDLcYSXzPFnRwGM+D0A9WbAtO7Q==

const obj = { width: 10, height: 15 };
const area = obj.width * obj.heigth;