我在用 React 学习 Typescript 时遇到了一些困惑，为什么限制开发人员仅将特定类型分配给特定变量很重要。此外，正如我所看到的，Typescript 是关于使用验证我们可以分配给变量的确切类型（我希望我是对的:)）。所以，让我解释一下我的意思，比如说，我们有以下代码：

interface Props {
    color?: ColorTypes | 'inherit';
    variant?: TypographyVariant; 
}

此外， TypographyVariant 表示此代码： export declare type TypographyVariant = 'h0' | 'h1' | 'h2' | 'h3' | 'h4' | 'h5' | 'h6' | 'subtitle1' | 'subtitle2' | 'body1' | 'body2' | 'body3' | 'caption';

问题是，例如，确保“variant”属性只接受“h0”的真正好处是什么？'h1' | 'h2' | 'h3' | 'h4' | 'h5' | 'h6' | '字幕1' | '字幕2' | 'body1' | 'body2' | 'body3' | '标题'。与“颜色”属性相同。我只是无法向自己解释为什么我们应该关心验证并确保只能分配某些类型？如果我们不为变量分配类型注释会怎样。如果我们不在 Typescript 中使用 Type 注释，那么我们可以分配任何不会触发任何错误的值，并且该错误仅在运行时发现，这会让我们浪费时间并且可能找不到遗漏的错误，这是真的吗？真的吗？