然而，对于所有的方法参数来说，类型注解是必须的。
However, type annotations are required for all method parameters.
这里有一份关于scala何时需要显式类型注解规则的总结。
Here is a summary of the rules for when explicit type annotations are required in Scala.
所以，scala比haskell这样的语言需要更多的类型注解。
So, Scala requires more type annotations than languages like Haskell.
Scala使用类型注解作为显式类型声明的方式，比如HashMap。
Scala USES the term type annotations for explicit type declarations like HashMap.
即使没有显示的类型注解，语言的编译器仍可以从上下文中分辨出相当多的类型信息。
The language's compiler can discern quite a bit of type information from the context, without explicit type annotations.
John讨论了字节码转换，其包括Aspect，将其作为三种类型注解处理选项之一。
John discussed byte code transformers, which include Aspects, as one of the three types of Annotation processing options.
XPath 2.0支持“模式认知”，意味着树的元素有类型注解，可以用于XPath导航。
XPath 2.0 supports "Schema Awareness" meaning that elements of the tree have type annotations which can be used to navigate the XPath.
当在代码里显式地为变量指定类型信息时，类型注解应该跟在变量名的冒号后面(也就是类pascal语法)。
When explicit type information for variables is written in the code, these type annotations follow the colon after the item name (i.e., Pascal-like syntax).
用这些语言写出的代码需要比Scala更少的类型注解，因为Scala的类型推断算法得同时支持面向对象类型和函数式类型。
Code written in these languages require type annotations less often than in Scala, because Scala's type inference algorithm has to support object-oriented typing as well as functional typing.
当一个模式与文本的一部分匹配时，为相关类型创建一个注解。
When a pattern matches a part of the text, an annotation is created for the associated type.
对于每个属性我们都会指定名称和类型，并有选择地加上一个或者多个注解。
For every property we specify a name, type and optionally one or more annotations.
主调用的方法必须有一个返回类型的注解。
@Pointcut注解允许我们定义切入点表达式，而且必要时，还有被切入点绑定的参数的个数和类型。
The @Pointcut annotation allows us to define pointcut expressions and, where necessary, the number and type of arguments to be bound by the pointcut.
保持策略（retention policy）是实现注解的重要一环，根据数据在内存中保持时间的长短，有三种类型的保持策略
The retention policy, which is an important part of implementing Annotations, is based on how long the data needs to be kept in memory. There are three different types of retention policy
Produces注解会将某个方法标识为生产方法，这样同一个系统下的另一个Bean如果需要该类型的对象就会调用这个生产方法。
Produces annotation identifies a specific method as a producer method which is called whenever another bean in the system needs an injected object of the specified type.
需要注意的是每个方法都有一个公共注解来指明图片的文件名，方法的返回类型都是AbstractImagePrototype。
Notice that each method has a comment annotation specifying the image file to use and a method that returns an AbstractImagePrototype.
根据相关的注解，新的类型别名(type - aliasing)规则已经在gcc中得到了完全的支持。
On a related note, the new type-aliasing rules are fully supported in GCC.
它提供来了更丰富的注解格式工具，并引入了一种叫做FlashSpots全新的注解类型。
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.
mobl支持两种类型的注解：inverse注解(定义反向的关系)和searchable(在全文搜索中包含字段)。
Mobl supports two types of annotations: inverse annotations (defining inverse relationships) and searchable (to include the field in full-text searches).
Produces：该注解用于标识MIME媒体类型，这样资源中的方法就会生成该类型的内容并返回给客户端。
Produces: This annotation specifies the MIME media types that the methods in the resource can produce and return to the client.
他还展示了如何向类、属性和方法中添加行为，也谈到了如何使用Aspects来注解类型和方法。
He also showed how to add behavior to classes, fields and methods and talked about annotating Types and methods with Aspects.
其次，它为平台提供了标准化、注解驱动、类型安全的依赖注入框架，方式类似于GoogleGuice。
Second it provides a standardised, annotation-driven, type-safe dependency injection framework for the platform similar in approach to Google's Guice.
如果方法利用此注释类型进行注解但没有重写超类方法，则编译器会生成一条错误消息。
If a method is annotated with this annotation type but does not override a superclass method, compilers are required to generate an error message.
如果方法利用此注释类型进行注解但没有重写超类方法，则编译器会生成一条错误消息。
If a method is annotated with this annotation type but does not override a superclass method, compilers are required to generate an error message.
应用推荐