# 處理類型

## 類型系統

與所有函數式編程語言一樣，函數也是一等數據類型。 支持以下數據類型：

* string
* number
* Boolean
* null
* object
* array
* function

除最后一個之外，其余都與 JSON 相同。

## 序列

作為一種查詢語言，通過該語言，路徑表達式可以從 JSON 文檔中選擇零個、一個或多個值。這些值可以屬于上面列出的任何類型，并作為*結果序列*返回。在表達式求值過程中，子表達式的結果會被組合起來，或者成為其他子表達式的上下文輸入，此時序列會經歷*序列扁平化*的過程。

序列展平規則如下：

1. **空序列**是沒有值的序列，被視為“無”或“無匹配”。它不會出現在任何表達式的輸出中。如果它與結果對象中的對象屬性（鍵/值）對相關聯，則該對象將不具有該屬性。
2. **單例序列**是包含單個值的序列。它被認為等同于該值本身，并且任何表達式或子表達式的輸出都將是該值，沒有任何周圍結構。
3. 包含多個值的序列在輸出中表示為 JSON 數組。這仍然在內部標記為序列并受下一個規則的約束。請注意，如果表達式與輸入 JSON 中的數組匹配，或者在查詢中使用數組構造函數明確構造 JSON 數組[，]()則這仍然是值數組而不是值序列，并且不受序列展平規則的約束。但是，如果此數組成為后續表達式的上下文，則其結果*將為*序列。
4. 如果序列包含一個或多個（子）序列，則子序列的值將被拉升至外部序列的級別。結果序列永遠不會包含子序列（它們被展平）。

## 路徑處理

路徑表達式是一種*聲明性函數*語言。

**函數式編程**是因為它基于 map/filter/reduce 編程范式，這種編程范式由流行的函數式編程語言通過使用高階函數來支持。

**聲明性的** ，因為這些高階函數通過輕量級語法公開，這使得用戶可以專注于查詢（聲明）的意圖，而不是控制其評估的編程結構。

路徑表達式是以下一個或多個功能階段的序列：

| 階段           | 句法                                                               | 行動                                                                                            |
| ---------------- | -------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------- |
| **map** | seq `.` expr | 在輸入序列中每一項的上下文中評估 RHS 表達式。將結果展平為結果序列。                             |
| **filter** | seq `[` expr `]`    | 通過將括號之間的謂詞表達式應用于每個項目來過濾前一階段的結果。                                  |
| **sort** |  seq `^(` expr `)`   | 根據括號中的標準對輸入序列進行排序（重新排序）。                                                |
| **index** | seq `#`$var| 將命名變量綁定到序列中的當前上下文位置（零偏移）。                                              |
| **join** | seq `@`$var   | 將命名變量綁定到序列中的當前上下文項。只能在映射階段之后直接使用。                              |
| **reduce** | seq `{` expr `:` expr `,` expr `:` expr ...`}` | 根據名稱/值表達式的定義，將輸入序列分組并聚合為單個結果對象。只能作為路徑表達式的最后階段出現。 |

在上表中：

* 在“語法”列中，“seq”指的是當前階段的輸入序列，它是上一階段的結果序列。
* “動作”列簡要概述了階段的行為；更詳細的信息請參閱[路徑操作符]()參考頁。
* 每個運算符的相對優先級影響其對輸入序列的影響范圍。具體來說，
  * Filter 運算符的綁定比 Map 運算符更緊密。例如，這意味著它將從每 `books.authors[0]` 本書中選擇所有第一作者，而不是從所有書中選擇第一作者。
  * Sort（排序）運算符的優先級最低，這意味著將評估其左邊的完整路徑，并對其結果序列進行排序。
  * 可以使用括號覆蓋此運算符優先級。例如，`(books.authors)[0]` 將從所有書籍（單個值）中選擇第一位作者。但請注意，括號還為變量定義了一個范圍框架，因此任何已在括號塊內綁定的變量（包括由 `@` 和 `#` 運算符綁定的變量）都將在括號塊末尾超出范圍。
* `@` 由與運算符綁定的變量 `#` 在路徑表達式的末尾超出范圍。
  * 如果使用 Reduce 階段，它將終止當前路徑表達式。盡管 Map 運算符可以立即跟進，但它將被解釋為新路徑表達式的開始，這意味著任何先前綁定的上下文或索引變量都將超出范圍。

7、處理模型