多项选择题

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