我刚接触 typescript 。我以为它应该能捕捉到这样的东西，但也许我对它的理解还不够好。当我尝试做这样的事情时，问题出现了：

interface A {
  prop: string
}

let a: A

function f() {
  console.log(a.prop) // Runtime error
}

f()

毫无疑问，a可能在函数中未定义，或者a应该立即定义，因为否则它是未定义的，不适合A类型，或者至少它应该像A | undefined那样类型化。
当你输入let a: A | undefined时，你会立即在函数中得到一个错误，a可能是未定义的，这是我所期望看到的，如果let a: A实际上也允许它是未定义的。
我错过了什么吗？在tsconfig中有我应该打开的设置吗？我已经在使用strict了。