docs: synced via GitHub Actions

Author: nop-cao

src/dev-guide/orm/eql-collection-filter-aggregate.md

@@ -159,8 +159,8 @@ o.orders[status = 'INVALID'].last()      // 返回 null
 // 当聚合函数返回null时，比较操作自然返回false
 o.orders[status = 'INVALID'].sum(amount) > 1000  // 返回false
 
-// 如果需要显式处理null值，可以使用$nvl函数
-o.orders[status = 'COMPLETED'].sum(amount).$nvl(0) > 10000
+// 如果需要显式处理null值，可以使用coelesce函数
+coelesce(o.orders[status = 'COMPLETED'].sum(amount), 0) > 10000
 ```
 
 ## 4. 与Collection Operator语法的兼容性
@@ -237,17 +237,6 @@ exists (
 )
 ```
 
-#### $nvl 函数转换
-```javascript
-// EQL: o.orders[status = 'COMPLETED'].sum(amount).$nvl(0) > 10000
-
-// SQL:
-coalesce((
-  select sum(amount) from Order ord 
-  where ord.user_id = o.id and ord.status = 'COMPLETED'
-), 0) > 10000
-```
-
 ### 5.2 优化转换策略
 
 #### Group Join 优化
@@ -328,7 +317,7 @@ and o.orders[status = 'PENDING'].exists()
 // 推荐：同时使用过滤和排序
 o.orders[status = 'PENDING' and priority = 'HIGH' order by createTime asc].first().assignee = 'currentUser'
 
-// 注意：聚合函数返回null时比较结果为false，通常不需要$nvl
+// 注意：聚合函数返回null时比较结果为false，通常不需要coelesce转换
 o.orders[status = 'COMPLETED'].sum(amount) > 10000  // 空集合时返回false
 
 // 避免：不必要的复杂表达式
@@ -360,5 +349,4 @@ o.orders[status = 'COMPLETED'].invalidFunc()  // 错误：函数 invalidFunc 不
 - **布尔表达式**：`exists()` 直接作为布尔值使用，无需 `== true`
 - **SQL语义一致**：聚合函数在空集合时的行为与SQL标准完全一致
 - **空值处理**：聚合函数返回null时，比较操作自然返回false
-- **默认值处理**：特殊情况下可使用 `$nvl` 函数提供默认值
 - **一致性**：所有操作符遵循统一的语法模式和调用约定

src/theory/kustomize.md

@@ -83,35 +83,8 @@ delta定制包含一个内置的元编程生成机制，因此可以很容易的
 delta定制非常强调可逆性，并积极主动的利用可逆性。其实仔细思考一下就会发现，如果我们可以实现精确的定制，那么必然意味着我们可以精确的定位到领域结构的任何地方，那么也就意味着我们可以取出领域结构任何一处的信息。也就是说，通过领域结构表达的信息是可以被反向抽取出来的。这种可逆性如果能够系统化的被利用，就可能释放出超乎想象的生产力
 例如，在满足可逆性的体系中，我们很容易实现同一信息的多种展现形式，可视化设计仅仅是可逆语义的一个简单应用。
 
-可
-视
-化
-界
-面
-界
-面
-生
-成
-器
-数
-据
-提
-取
-可
-视
-化
-界
-面
-界
-面
-生
-成
-器
-界
-面
-生
-成
-器
+可视化界面 = 界面生成器(DSL)
+DSL = 数据提取器(可视化界面）
 
 领域模型采用领域特定语言（DSL）来描述，界面生成器可以理解DSL，从中抽取信息将其转换为可视化界面，同时界面生成器提供了对应的逆向信息提取机制，可以从生成的可视化界面中反向提取出DSL模型信息。所谓的可视化设计不过是模型的两种表现形式（representation）之间的可逆转换而已。