答：使用信息类型可以将主题分成类别，这比在没有信息类型时，可以更加容易的管理和保持一致性。
A: with information types, you can divide topics into categories that you can manage and keep consistent more easily than without information types.
即使没有显示的类型注解，语言的编译器仍可以从上下文中分辨出相当多的类型信息。
The language's compiler can discern quite a bit of type information from the context, without explicit type annotations.
应用推荐