它提供来了更丰富的注解格式工具，并引入了一种叫做Flash Spots全新的注解类型。

We were also invited to give its upcoming new version a go (see screenshot below). It features more formatting tools for annotation and a new funny annotation type called Flash Spots is introduced.

youdao

他还展示了如何向类、属性和方法中添加行为，也谈到了如何使用Aspects来注解类型和方法。

He also showed how to add behavior to classes, fields and methods and talked about annotating Types and methods with Aspects.

youdao

然而，对于所有的方法参数来说，类型注解是必须的。

However, type annotations are required for all method parameters.

youdao