[zh-cn]add reflect tags

[jxnu-liguobin]

This is a draft, any proposed changes will be resolved.

[eed3si9n]

@jxnu-liguobin Thanks for the contribution!

I can't review this myself so could you find someone who can? /cc @scala/docs-zh

[liufengyun]

Otherwise, LGTM 👍

[liufengyun]

Suggested change

	Scala类型的部分类型描述符。例如，`ClassTag[List[String]]`只包含已删除的类类型信息，在本例中为`scala.collection.immutable.List`。`ClassTag`只提供对类型的运行时类的访问。类似于`scala.reflect.ClassManifest`。
	Scala类型的部分类型描述符。例如，`ClassTag[List[String]]`只包含已擦除、关于类的类型信息，在本例中为`scala.collection.immutable.List`。`ClassTag`只提供对类型的运行时类的访问，其类似于`scala.reflect.ClassManifest`。

[liufengyun]

Suggested change

	与`Manifest`一样，实际上可以 _请求_ 编译器生成`TypeTag`。这只需指定一个类型为`TypeTag[T]`的隐式 _票据_ 参数即可完成。如果编译器在隐式搜索期间找不到匹配的隐式值，它将自动生成一个`TypeTag[T]`。
	与`Manifest`一样，实际上可以 _请求_ 编译器生成`TypeTag`。这只需指定一个类型为`TypeTag[T]`的隐式 _例证_ 参数即可完成。如果编译器在隐式搜索期间找不到匹配的隐式值，它将自动生成一个`TypeTag[T]`。

/cc @scala/docs-zh evidence的翻译我不晓得有没有标准的译法。我建议翻译为“例证”。

[xingyif]

What is the original sentence? I'd say use 证据

[eed3si9n]

As with Manifests, one can in effect request that the compiler generate a
TypeTag. This is done by simply specifying an implicit evidence parameter
of type TypeTag[T]. If the compiler fails to find a matching implicit value
during implicit search, it will automatically generate a TypeTag[T].

In other words, it's using using the term evidence as a metaphor of typeclass instance. In Haskell for example this may come up as a phrase equality evidence. How would you say that in Chinese? I feel like (相等的)证据 fits better than others?

[liufengyun]

“例证” has the connotation that it's an instance of possible proofs. But I agree 证据 might be easier to understand than inventing a new technical term.

[jxnu-liguobin]

I also think the 证据 is good. However, additional explanation may be required.

[SethTisue]

thank you!