TypeScript：类型“HTMLElement”上不存在属性“value”

小渣渣

html看起来如下：

登录可见。

和greeter.ts文件：

登录可见。

当我用tsc编译我得到以下“错误”：

/home/bjarkef/sandbox/greeter.ts(8,53)：属性’value’不存在类型’HTMLElement’的值，

然而，编译器输出一个javascript文件，这在chrome中工作得很好。

我怎么会得到这个错误？我该如何解决呢？

另外，在哪里可以查找哪些属性在“HTMLElement”根据typescript有效？

请注意，我对JavaScript和打字稿非常新，所以我可能会缺少一些明显的东西。


基于Tomasz Nurkiewiczs的回答，“问题”是，typescript是类型安全的。 :)所以document.getElementById()返回的类型HTMLElement不包含value属性。但是，HTMLInputElement子类型包含value属性。
所以一个解决方案是将getElementById()的结果转换为HTMLInputElement，如下所示：

登录可见。

<>是打字稿中的铸造操作符。

从上面的行生成的javascript看起来像这样：

登录可见。

即不包含类型信息。