多项选择题

TypeScript是一种给JavaScript添加特性的语言扩展。增加的功能包括()

A.类型批注和编译时类型检查
B.类型推断
C.类型擦除
D.接口