fix and polish docs (done by using Sonnet 4.6 for help)

Author: Rratic

CONTRIBUTING.md

@@ -20,9 +20,7 @@
 
 ## 格式规范
 ### 文档规范
-* 使用 `utf-8`
-* 中文与英文、数字间加空格，若有中文标点则可不加空格
-* 参照 [DoctreePages](https://github.com/JuliaRoadmap/DoctreePages.jl) 提供的特殊语法
+使用 `UTF-8` 编码；中文与英文、数字间加空格，若有中文标点则可不加空格。
 
 ### Julia 术语规范
 * 英文名称如 Julia、Windows 等词不使用 ``` `` ``` 且首字母大写

docs/basic/dict.md

@@ -19,7 +19,7 @@ julia> d["one"] # 查字典
 julia> d["one"]=100 # 改字典，若不存在则添加
 100
 
-julia> d.count # 字典长度
+julia> length(d) # 字典长度
 2
 
 julia> keys(d) # 目录列表

docs/basic/float.md

@@ -1,6 +1,6 @@
 # 浮点数与实数运算
-浮点数是 IEEE 754 标准规定的，广泛用于数学运算的数据类型，用来表示可用于通常计算的实数。
-以下是 Julia 预定义的浮点数类型
+浮点数是遵循 IEEE 754 标准的数据类型，广泛用于数学运算，用于表示实数的近似值。
+以下是 Julia 预定义的浮点数类型：
 
 ## 浮点数类型
 | 类型 | 精度 | bit 数 |
@@ -12,9 +12,9 @@
 不同于整数，并不存在表示“非负实数”的类型，因为这是完全不必要的。
 
 ## 浮点数字面表示
-* 使用标准格式表示，例如 `1.234`，`1.3e8`（科学记数法），`.234`（省略0）
-* 存在麻烦的 16 进制表示方式
-* 也可以用 `_` 间隔
+* 使用标准格式表示，例如 `1.234`，`1.3e8`（科学记数法），`.234`（省略 0）
+* 也支持十六进制浮点字面量，规则较为特殊，详见[官方文档](https://docs.juliacn.com/latest/manual/integers-and-floating-point-numbers/#十六进制浮点数字面量)
+* 也可以用 `_` 间隔数字以提高可读性，如 `1_000_000.0`
 
 ## 浮点数结构
 !!! note
@@ -52,7 +52,7 @@ julia> sin(NaN)
 NaN
 ```
 
-你可以指定某个位数的浮点数对应的无穷、不是数
+你可以指定某个位数的浮点数对应的无穷、“不是数”：
 ```julia-repl
 julia> typeof(Inf32)
 Float32
@@ -61,7 +61,7 @@ julia> typeof(NaN32)
 Float32
 ```
 
-同时需注意的是，`-0.0` 与 `0.0` 是不同的
+另外需要注意的是，在浮点数标准中 `-0.0` 与 `0.0` 是不同的：
 ```julia-repl
 julia> -0.0
 -0.0

docs/basic/function.md

@@ -1,5 +1,5 @@
 # 函数
-函数 `Function` 是一个特殊的超类型，它的子类型的实例通过关键字 `function` 定义
+**函数**（function）是可重复调用的代码块，通过关键字 `function` 定义。在 Julia 中，`Function` 是所有函数类型的超类型。
 
 ## 基本格式
 ```jl
@@ -12,8 +12,7 @@ end
 函数名(参数1, 参数2) = 表达式
 ```
 
-最后的 `return` 可以不写，但可能造成阅读困难。
-若不写返回值，则返回 [`nothing`](little_types.md#无)
+最后的 `return` 可以省略，但显式写出有助于阅读。若不写返回值，则返回 [`nothing`](little_types.md#无)。
 
 函数可以直接或间接地调用自身，这称为递归。
 例如，你可以选择用递归方法计算 Fibonacci 数列：
@@ -40,7 +39,7 @@ ERROR: MethodError: no method matching foo(::Bool)
 ```
 
 参数类型声明**通常对性能没有影响**，在 Julia 中声明参数类型的最常见原因是
-* **派发** 如 [方法](method.md) 中所述，对于不同的参数类型，你可以有不同版本（「方法」）的函数，在这种情况下，参数类型用于确定调用哪个版本的函数
+* **派发** 如 [方法](method.md) 中所述，对于不同的参数类型，你可以有实现不同的函数（称为“方法”），在这种情况下，参数类型用于确定调用哪个版本的函数
 * **正确性** 函数只为某些参数类型返回正确的结果
 * **清晰性**
 

docs/basic/hello.md

@@ -15,7 +15,7 @@ julia> #= 多行注释
 	   任何东西。
        =#
 
-julia> # 如果你发现除了新的一行以外什么都没显示，说明您的操作正确
+julia> # 如果你发现除了新的一行以外什么都没显示，说明你的操作正确
 
 ```
 

docs/basic/little_types.md

@@ -68,7 +68,7 @@ julia> pair.second
 2
 ```
 
-注意不要将元组与对搞混
+注意不要将元组与对搞混：元组用整数索引访问任意位置的元素，而 `Pair` 是固定的二元对，主要用于构建字典或表达二元映射关系。
 
 ## 共用
 可以使用 `Union{Type1, Type2...}` 声明一个新[类型](../advanced/typesystem.md)，它的实例可以取 `Type1`、`Type2` 等等中任一个。

docs/basic/loop.md

@@ -1,6 +1,5 @@
 # 循环
-循环用于在指定条件下重复执行指定代码。
-同样地，你也可以尝试举些例子、画流程图方便理解。
+循环用于在指定条件下重复执行指定代码。你可以尝试举些例子或画流程图来加深理解。
 
 ## while
 `while` 循环的语法格式是：
@@ -90,7 +89,7 @@ while !escape
 end
 ```
 
-这里设置变量 `escape` 存储 `s == "quit"` 验证结果确实是实用的方法。
+通过设置变量 `escape` 来记录退出条件是否成立，是一种常见且实用的写法。
 
 它也可以改为
 ```jl

docs/basic/range.md

@@ -24,7 +24,7 @@ julia> collect(1.7:4.3)
 不建议让填入的参数满足 `start > stop`
 
 ## StepRange
-使用语法糖 `start:step:stop` 或调用 `UnitRange(start, step, stop)` 可以生成一个从 `start` 到 `stop`，步长为 `step` 的范围。
+使用语法糖 `start:step:stop` 或调用 `StepRange(start, step, stop)` 可以生成一个从 `start` 到 `stop`，步长为 `step` 的范围。
 ```julia-repl
 julia> st = 20:7:40 # 自行修复 `stop` 值
 20:7:34

docs/basic/statement.md

@@ -24,7 +24,7 @@ if 条件
 end
 ```
 
-这里的**条件**（statement）是一个表达式。
+这里的**条件**（condition）是一个表达式。
 
 与一些语言不同，Julia 中条件的值必须是 `Bool` 类型的实例，也就是 `true` 与 `false` 之一。
 
@@ -39,7 +39,7 @@ end
 ```
 
 ## elseif
-你可以将 `else` 与 `if` 合并，并并入同一层中
+你可以将 `else` 与 `if` 合并，并入同一层中：
 ```julia
 if 条件1
     若条件1为真时执行
@@ -91,7 +91,7 @@ stat || content
 ```
 
 ## 底层说明
-CPU 可能进行会分支预测 [^2]
+CPU 可能会进行分支预测。[^2]
 
 ## 练习
 - 只通过条件-分支结构，输入整数 `a`、`b`、`c`，然后输出它们中的最小值

docs/basic/string.md

@@ -118,15 +118,15 @@ julia> raw"\\"
 * `\"` => `"`
 * `\'` => `'`
 * 标准 C-escape 序列
-	* `\0` NUL
-	* `\a`
-	* `\b`
-	* `\t`
+	* `\0` NUL（空字符）
+	* `\a` 响铃
+	* `\b` 退格
+	* `\t` 水平制表符
 	* `\n` 换行
-	* `\v`
-	* `\f`
-	* `\r`
-	* `\e`
+	* `\v` 垂直制表符
+	* `\f` 换页
+	* `\r` 回车
+	* `\e` 转义字符（ESC）
 * `\u` + 1~4 位 16 进制数
 * `\U` + 1~8 位 16 进制数
 * `\x` + 1~2 位 16 进制数