docs: rewrites; remove page basic.test

Author: Rratic

docs/basic/float.md

@@ -114,7 +114,7 @@ julia> 1.0/9.0
 
 ## 数值转换
 Julia 支持三种数值转换，它们在处理不精确转换上有所不同
-1. `T(x)` 和 `convert(T,x)` 都会把 x 转换为 T 类型
+1. `T(x)` 和 `convert(T, x)` 都会把 x 转换为 T 类型
 	* 如果 T 是浮点类型，转换的结果就是最近的可表示值， 可能会是正负无穷
 	* 如果 T 为整数类型，当 x 不能由 T 类型表示时，会抛出 `InexactError`
 2. `x % T` 将整数 x 转换为整型 T，与 x 模 `2^n` 的结果一致，其中 n 是 T 的位数。换句话说，在二进制表示下被截掉了一部分

docs/basic/hello.md

@@ -41,7 +41,7 @@ Hello, world!
 因此，如果想一次运行多行代码，你可以
 * 使用高级编辑器
 * [运行文件里的代码](setup_environment.md#运行文件)
-* 这样
+* 使用 `begin ... end` 包裹它们
  	```julia-repl
 	julia> begin
 		   println("1")

docs/basic/little_types.md

@@ -1,4 +1,4 @@
-# 一些轻量类型
+# 实用类型
 ## 无
 类型 `Nothing` 具有的唯一值是 `nothing`。
 它对应 `C` 中的 `void`，也广泛用于普通变量的初始化、保留值等。
@@ -14,9 +14,9 @@ julia> x = nothing
 类型名为 `UndefInitializer`，通常用于数组初始化，可以用 `undef` 作为 `UndefInitializer()` 的缩写，[详细信息见此](../advanced/undef.md)。
 
 ## 元组
-`Tuple` 类型的实例可以容纳任意有限多个数据，这在你不希望[创建新类型](../advanced/struct.md#复合类型)，而又想表达有一定复杂性的数据时显得尤为方便。对于更复杂的情况，则可以使用[](../advanced/typesystem.md#具名元组类型)。
+`Tuple` 类型的实例可以容纳任意有限多个数据，这在你不希望[创建新类型](../advanced/struct.md#复合类型)，而又想表达有一定复杂性的数据时显得尤为方便。对于更复杂的情况，则可以使用[具名元组类型](../advanced/typesystem.md#具名元组类型)。
 ```julia-repl
-julia> tup = (1,2,3)
+julia> tup = (1, 2, 3)
 (1, 2, 3)
 
 julia> typeof(tup) # 这表明 tup 的 3 个参数类型均为 Int64
@@ -31,23 +31,29 @@ true
 julia> tup[1] # 获取第一个数据
 1
 
-julia> (1,2,3) == (1,2,4) # 多个元素比较的一种简便方法
+julia> (1, 2, 3) == (1, 2, 4) # 多个元素比较的一种简便方法
 false
 ```
 
 除了按照索引获取数据外，还可以使用以下语法糖
 ```julia-repl
-julia> a,b,c = (1,2,3)
+julia> a, b, c = (1, 2, 3)
 (1, 2, 3)
 
-julia> (a,b,c) = (1,2,3)
+julia> (a, b, c) = (1, 2, 3)
 (1, 2, 3)
 
-julia> _,d,_ = (1,2,3) # _ 不是合规的变量名，在此语法中表示缺失
+julia> _, d, _ = (1, 2, 3) # _ 的含义为相应的值被主动忽略
 (1, 2, 3)
 
 julia> d
 2
+
+julia> e = (false, ) # 因为 (false) 会变成 false
+(false,)
+
+julia> length(e)
+1
 ```
 
 ## 对
@@ -65,13 +71,19 @@ julia> pair.second
 注意不要将元组与对搞混
 
 ## 共用
-可以使用 `Union{Type1, Type2...}` 声明一个新[类型](../advanced/typesystem.md)，它的实例是 `Type1`、`Type2`……之一。
+可以使用 `Union{Type1, Type2...}` 声明一个新[类型](../advanced/typesystem.md)，它的实例可以取 `Type1`、`Type2` 等等中任一个。
 ```julia-repl
-julia> MyType = Union{Bool,Int,Float64}
-Union{Bool, Int64}
+julia> MyType = Union{Bool, Int, Float64}
+Union{Bool, Float64, Int64}
 
 julia> isa(true, MyType)
 true
+
+julia> un:: MyType = 1
+1
+
+julia> un = 1.0
+1.0
 ```
 
 ## 区分

docs/basic/misc.md

@@ -1,5 +1,5 @@
 # 查缺补漏
-为了避免你遗漏一些重要的细节，在正式引入 `advanced` 节前（当然也可以就此停止），这里进行一些补充：
+为了避免你遗漏一些重要的细节，在正式进入语言进阶或就此停止前，这里进行一些补充：
 
 ## 加载代码
 可以通过 `include(路径)` 加载一个[路径](../knowledge/filesystem.md#路径)下的代码，如使用 `include("foo.jl")` 导入相对路径下 `foo.jl` 中的代码。这类似于 C 中的 `#include ""`。

docs/basic/scope.md

@@ -1,4 +1,15 @@
 # 变量作用域
+```julia-repl
+julia> if true
+           local scoped = 0
+       end
+0
+
+julia> scoped
+ERROR: UndefVarError: `scoped` not defined in `Main`
+Suggestion: check for spelling errors or missing imports.
+```
+
 ## 简述
 方便起见，可以遵循一个原则，即把 `xxx ... end` 看作一个层层嵌套的块。使用一个变量时先在当前块或某个上级块初始化，通常初始化所在块结束时，这个变量也会消亡。
 

docs/basic/setting.toml

@@ -19,5 +19,4 @@ outline = [
 	"io",
 	"scope",
 	"misc",
-	"test"
 ]

docs/basic/statement.md

@@ -91,7 +91,8 @@ stat || content
 CPU 可能进行会分支预测 [^2]
 
 ## 练习
-- 只通过条件-分支结构，输入整数 `a`、`b`、`c`，然后输出数 `a`、`b`、`c` 的最小值
+- 只通过条件-分支结构，输入整数 `a`、`b`、`c`，然后输出它们中的最小值
+- 只通过条件-分支结构，输入整数 `a`、`b`、`c`，然后从小到大输出它们
 - 通过条件-分支结构，输入整数 `a`、`b`、`c`，然后输出对 `a`、`b`、`c` 作为边长能否组成三角形的判断
 - 分析在“利用 && ||”节中两个语句分别对应什么作用
 

docs/basic/string.md

@@ -126,4 +126,6 @@ julia> raw"\\"
 	Julia 也提供了 `escape_string` 与 `unescape_string` 函数，可以帮助你在希望支持某些转义功能时进行处理
 
 ## 练习
+- 试表示含有单个反斜杠的字符串。
+- 凯撒加密的方法是：将 a~z 放在一个圆盘上，然后指定一个数字 n，将待加密字符串每个字符在圆盘上顺时针转 n 格。请使用 Julia 编写程序，解密 `htwwjhy` 到一个简单单词。
 - （困难）了解什么是 Quine，并设计一个使用 Julia 的 Quine，参考答案[见此](https://github.com/JuliaAttic/Examples/blob/master/quine.jl)。