docs: add details

Author: Rratic

docs/advanced/else.md

@@ -0,0 +1,21 @@
+# 其它
+* [C 调用](ccall.md)
+* [命令](cmd.md)
+* [类型转化与提升](conpro.md)
+* [异常分类](exception.md)
+* [表达式](expr.md)
+* [文件系统](filesystem.md)
+* [函数进阶](function.md)
+* [I/O](io.md)
+* [遍历](iterate.md)
+* [迭代器](iterators.md)
+* [宏](macro.md)
+* [MIME](mime.md)
+* [引用](ref.md)
+* [正则表达式](regex.md)
+* [集合](set.md)
+* [字符串编码](string_code.md)
+* [子字符串](substring.md)
+* [未定义](undef.md)
+* [变量引用机制](varref.md)
+* [版本号](versionnumber.md)

docs/advanced/setting.toml

@@ -7,4 +7,5 @@ outline = [
 	"meta",
 	"async",
 	"multithreading",
+	"else"
 ]

docs/basic/bool.md

@@ -10,6 +10,9 @@
 | `!x` | 否定 |
 | `x && y` | 短路与 |
 | `x || y` | 短路或 |
+| `x ⊻ y` | 异或 |
+| `x ⊼ y` | 非与 |
+| `x ⊽ y` | 非或 |
 
 ```julia-repl
 julia> !true
@@ -25,9 +28,24 @@ julia> true || "foo"
 true
 ```
 
-布尔在 Julia 中其实是整数的一类（`Bool <: Integer`），即 `false` 可以被提升为 0，而 `true` 可以被提升为 1。
+后三者的使用与[整数的位运算](int.md#位运算)情况类似。
 
-特别地，`false` 可以用于如下功能：
+布尔在 Julia 中其实是整数的一类，其中 `false` 可以被提升为 0，而 `true` 可以被提升为 1。
+```julia-repl
+julia> Bool <: Integer
+true
+
+julia> Int(false)
+0
+
+julia> UInt8(false)
+0x00
+
+julia> Int(true)
+1
+```
+
+特别地，`false` 可以用于移除 `NaN` 状态：
 ```julia-repl
 julia> NaN * 0
 NaN
@@ -87,7 +105,7 @@ true
 ## 三值逻辑
 三值逻辑是由 `true`，`false` 和 `missing` 共同组成的。这里 `missing` 可以视作“未知是 true 还是 false”
 
-对于二元运算，禁止将 `missing` 放在左侧，并满足短路规则。
+对于短路运算符 `||` 与 `&&`，禁止将 `missing` 放在左侧，并满足短路规则。
 
 ```julia-repl
 julia> true || missing # 短路原则
@@ -97,4 +115,19 @@ julia> false || missing
 missing
 ```
 
+对其它逻辑运算，允许将 `missing` 放在左侧，并将它视作未知。
+```julia-repl
+julia> missing ⊻ true
+missing
+
+julia> missing ⊻ missing
+missing
+
+julia> missing ⊼ true
+missing
+
+julia> missing ⊼ false
+true
+```
+
 [^1]: 这与一些语言的 `null` 相似，但不完全相同

docs/basic/float.md

@@ -52,6 +52,15 @@ julia> sin(NaN)
 NaN
 ```
 
+你可以指定某个位数的浮点数对应的无穷、不是数
+```julia-repl
+julia> typeof(Inf32)
+Float32
+
+julia> typeof(NaN32)
+Float32
+```
+
 同时需注意的是，`-0.0` 与 `0.0` 是不同的
 ```julia-repl
 julia> -0.0
@@ -110,7 +119,7 @@ julia> 1.0/9.0
 | `isinf(x)` | `x` 是无穷 |
 | `isnan(x)` | `x` 是 `NaN` |
 
-当然，你也可以使用**内置（built-in）**的运算符 `===`，只有 2 个值完全无法分辨（除非阅读代码文件，任何程序都无法区分）时，这个比较结果才为 `true`。
+当然，你也可以使用**内置**（built-in）的运算符 `===`，只有 2 个值完全无法分辨（除非阅读代码文件，任何程序都无法区分）时，这个比较结果才为 `true`。
 
 ## 数值转换
 Julia 支持三种数值转换，它们在处理不精确转换上有所不同
@@ -206,15 +215,16 @@ asind  acosd  atand  acotd  asecd  acscd
 | `lcm(x, y...)` | 最小公倍数，只接受整数 |
 
 ### 特殊函数
-[特殊数学函数 - SpecialFunctions](../packages/specialfunctions.md)
+特殊数学函数的计算没有原生提供，需要额外引入 [SpecialFunctions](../packages/specialfunctions.md) 包来计算。
 
 ## 扩展阅读
 - [背景资料与参考文献](https://docs.juliacn.com/latest/manual/integers-and-floating-point-numbers/#%E8%83%8C%E6%99%AF%E7%9F%A5%E8%AF%86%E4%B8%8E%E5%8F%82%E8%80%83%E6%96%87%E7%8C%AE)
 - [运算符的优先级与结合性](https://docs.juliacn.com/latest/manual/mathematical-operations/#运算符的优先级与结合性)
 - [复数和有理数](https://docs.juliacn.com/latest/manual/complex-and-rational-numbers/)
 
 ## 说明
-对于日常使用，很多函数的名称没有强行记忆的必要，因为要用的时候可以查。
+对于日常使用，很多函数的名称没有强行记忆的必要，因为在使用时可以查找文档、询问 AI 或使用帮助模式。
+
 只建议区分好各种除法的不同之处。
 
 [^1]: https://docs.juliacn.com/latest/manual/mathematical-operations/

docs/basic/int.md

@@ -57,7 +57,7 @@ UInt8
 
 如果你没有得到你期望的结果，可以强制类型转化
 ```julia-repl
-julia> x=UInt8(100)
+julia> x = UInt8(100)
 0x64
 
 julia> typeof(x)
@@ -89,7 +89,7 @@ julia> big(2)^100
 | `x + y` | 加法 |  |
 | `x - y` | 减法 |  |
 | `x * y` | 乘法 |  |
-| `x ÷ y` | 除法（取商） | 使用 `\div` 打出 |
+| `x ÷ y` | 除法（取商） | 使用 `\div` + Tab 打出 |
 | `x ^ y` | 幂 | x 的 y 次幂 |
 | `x % y` | 取余 | 等价于 `rem(x, y)`，会保留 x 的正负号 |
 | `mod(x, y)` | 取模 | 得到非负数 |
@@ -147,7 +147,7 @@ julia> typeof(v)
 Int64
 ```
 
-这是因为 Julia 会进行[类型转换和类型提升](../advanced/conpro.md)
+这是因为 Julia 会进行[类型转换和类型提升](../advanced/conpro.md)。
 
 ## 位运算
 [什么是位运算](../knowledge/bits.md#位运算)
@@ -157,15 +157,24 @@ Int64
 | `~x` | 按位取反 |  |
 | `x & y` | 按位与 |  |
 | `x | y` | 按位或 |  |
-| `x ⊻ y` | 按位异或 | 也可以使用 `xor(x,y)` |
-| `x ⊼ y` | 按位非与 |
-| `x ⊽ y` | 按位非或 |
+| `x ⊻ y` | 按位异或 | 也可以使用 `xor(x, y)`，或用 `\xor` + Tab 打出该符号 |
+| `x ⊼ y` | 按位非与 | 同上，对应 `nand` |
+| `x ⊽ y` | 按位非或 | 同上，对应 `nor` |
 | `x >>> y` | 逻辑右移 |  |
 | `x >> y` | 算术右移 |  |
 | `x << y` | 逻辑/算术左移 |  |
 
-!!! compat "Julia 1.7"
-	`nand` 和 `nor` 的支持至少需要 Julia 1.7
+注意在无符号和有符号时不同的行为：
+```julia-repl
+julia> nand(UInt(0), UInt(0))
+0xffffffffffffffff
+
+julia> nand(0, 0)
+-1
+
+julia> nand(3, 5)
+-2
+```
 
 ## 比较
 | 操作符 | 名称 |

docs/basic/string.md

@@ -14,6 +14,18 @@ julia> Int(c)
 
 字符可以与整数相转化。这本质上是因为字符并没有什么特殊的，字符有其统一的编号（请参考 ASCII 码表、扩展 ASCII 码表及 Unicode 码表），而后终端通过安装的字体合理地显示字符。
 
+字符类型不会被自动提升为整数类型：
+```julia-repl
+julia> c = 'A'
+'A': ASCII/Unicode U+0041 (category Lu: Letter, uppercase)
+
+julia> c += 1
+'B': ASCII/Unicode U+0042 (category Lu: Letter, uppercase)
+
+julia> typeof(c)
+Char
+```
+
 ## 字符串
 `String` 是 Julia 内置的字符串，可以以 `Char` 的形式导出字符。
 

docs/blog/ecosystem.md

@@ -1,5 +1,5 @@
 # 生态
-生态是指一个语言库和框架（对应 Julia 中的包）的丰富程度，以及社区的活跃度。
+生态是指一个语言的库和框架（对应 Julia 中的包）的丰富程度，以及社区的活跃度。
 
 ## Julia 版本发布流程
 参阅 <https://julialang.org/blog/2019/09/release-process-zh-cn/>

docs/meta/about.md

@@ -12,6 +12,9 @@
 祝您学习顺利！
 
 ## 关于本文档
+!!! compat "Julia 1.10"
+	除非重要，本文档不会特别注明 Julia 1.10 及以下引入的特性。
+
 文中的链接可能指向相关知识（[完整索引在此](../knowledge/index.md)）及其它页面上的内容。
 
 讨论区可以在注册 [Github](../knowledge/github.md) 后使用。**不要吝啬你的反馈**：如果遇到无法看懂亦或有错的地方，不妨在讨论区中指出或给我提 [Issue](https://github.com/JuliaRoadmap/zh/issues/new)。

docs/packages/uuids.md

@@ -16,9 +16,6 @@ UUID("00000000-0000-0000-0000-00000000007b")
 - `uuid4([rng::AbstractRNG]) -> UUID` 生成第四版（基于随机数）的 UUID
 - `uuid5(ns::UUID, name::String) -> UUID` 生成第五版（基于命名空间和域）的 UUID
 
-!!! compat "Julia 1.1"
-	uuid5 至少需要 Julia 1.1
-
 ```julia-repl
 julia> using Random