html5 – TypeScript：类型系统的问题

我只是在VisualStudio 2012中测试打字稿，并且它的类型系统有问题。我的html网站有一个帆布标签，id为“mycanvas”。我试图在这个画布上绘制一个矩形。这里是代码

var canvas = document.getElementById("mycanvas");
var ctx: CanvasRenderingContext2D = canvas.getContext("2d");
ctx.fillStyle = "#00FF00";
ctx.fillRect(0,100,100);

不幸的是，VisualStudio抱怨

the property ‘getContext’ does no exist on value of type
‘HTMLElement’

它将第二行标记为错误。我认为这只是一个警告，但代码不编译。 VisualStudio说

there were build errors. Would you like to continue and run the last
successful build ?

我不喜欢这个错误。为什么没有动态方法调用？所有的方法getContext肯定存在我的canvas元素。但是我认为这个问题很容易解决。我刚刚为canvas添加了一个类型注释：

var canvas : HTMLCanvasElement = document.getElementById("mycanvas");
var ctx: CanvasRenderingContext2D = canvas.getContext("2d");
ctx.fillStyle = "#00FF00";
ctx.fillRect(0,100);

但类型系统仍然不满意。这里是新的错误消息，这一次在第一行：

Cannot convert ‘HTMLElement’ to ‘HTMLCanvasElement’: Type
‘HTMLElement’ is missing property ‘toDataURL’ from type
‘HTMLCanvasElement’

好了，我全部出于静态类型，但这使语言不可用。类型系统要我做什么？

更新：

Typescript确实不支持动态调用，我的问题可以通过类型转换来解决。我的问题基本上是这个TypeScript: casting HTMLElement的副本

var canvas = <HTMLCanvasElement> document.getElementById("mycanvas");
var ctx = canvas.getContext("2d");

var canvas : any = document.getElementById("mycanvas");
var ctx = canvas.getContext("2d");