Update README.md

docs/uts/README.md

@@ -77,13 +77,13 @@ str = "hello world"; // 报错，不允许重新赋值
 
 #### 类型自动推导
 
-对于传统编译语言来说（java,C），声明一个变量的同时必须声明这个变量的类型以便于申请内存空间。
+对于传统编译型语言来说（java,C等），声明一个变量的同时，开发者必须声明这个变量的类型，以便于申请内存空间。
 ```java
 // 一个名为a的 Int类型数据变量
 Int a = 12
 ```
 
-但是更现代的语言（kotlin,TS,SWIFT 等）中，一般都具备类型自动推导的功能，即如果开发者声明变量的同时，进行了初始化赋值。那么编译器可以自动推导出变量类型，而不必开发者手动声明。 即降低了出错的可能，也降低了开发者的心智负担
+但是更现代的语言（kotlin,TS,SWIFT 等）中，都具备类型自动推导的功能，即：如果开发者声明变量的同时，进行了初始化赋值。那么编译器可以根据赋值，自动推导出变量类型，不必开发者手动声明。 即降低了出错的可能，也降低了开发者的心智负担
 
 ```kotlin
 // 开发者不必描述 a的类型，编译器会自动将 12 编译为一个Int类型数据变量
@@ -91,7 +91,7 @@ var a = 12
 ```
 
 
-uts同样具备类型自动推导。在定义变量时如果直接赋值，而不使用冒号定义类型，也可以合法运行。
+`uts`同样具备类型自动推导。在定义变量时如果直接赋值，而不使用冒号定义类型，也可以合法运行。
 
 如下2种写法都是合法的，两个变量都是string类型：