Fix Simplify Chinese translation of Scala Tour: type-inference according to liufengyu's suggestion

Author: realwunan

_zh-cn/tour/type-inference.md

@@ -46,29 +46,29 @@ def id[T](x: T) = x
 val q = id(1)              // type: Int
 ```
 
-编译器使用参数 `MyPair` 的类型来推断出 `A` 和 `B` 的类型。对于 `x` 的类型同样如此。
+编译器使用传给 `MyPair` 参数的类型来推断出 `A` 和 `B` 的类型。对于 `x` 的类型同样如此。
 
 ## 参数
 
-编译器从不推断方法参数的类型。 但是，在某些情况下，当函数作为参数传递时，它可以推断出匿名函数参数类型。
+编译器从不推断方法形式参数的类型。 但是，在某些情况下，当函数作为参数传递时，编译器可以推断出匿名函数形式参数的类型。
 
 ```tut
 Seq(1, 3, 4).map(x => x * 2)  // List(2, 6, 8)
 ```
 
-方法 map 的参数是 `f: A => B`。 因为我们把整数放在 `Seq` 中，编译器知道 `A` 是 `Int` 类型 (即 `x` 是一个整数)。 因此，编译器可以从 `x * 2` 推断出 `B` 是 `Int` 类型。
+方法 map 的形式参数是 `f: A => B`。 因为我们把整数放在 `Seq` 中，编译器知道 `A` 是 `Int` 类型 (即 `x` 是一个整数)。 因此，编译器可以从 `x * 2` 推断出 `B` 是 `Int` 类型。
 
 ## 何时 _不要_ 依赖类型推断
 
-通常认为声明在公共 API 中的成员类型更具可读性。 因此，我们建议你为将在你的代码中向用户公开的任何 API 明确指定类型。
+通常认为，公开可访问的 API 成员应该具有显示类型声明。 因此，我们建议你为将在你的代码中向用户公开的任何 API 明确指定类型。
 
 此外，类型推断有时会推断出太具体的类型。 假设我们这么写：
 
 ```tut
 var obj = null
 ```
 
-我们就不能继续重新分配值：
+我们就不能进行重新赋值：
 
 ```tut:fail
 obj = new AnyRef