# 編程構(gòu)造

到目前為止，我們已經(jīng)介紹了該語言的所有部分，這些部分使我們能夠從輸入 JSON 文檔中提取數(shù)據(jù)、使用字符串和數(shù)字運算符組合數(shù)據(jù)以及格式化輸出 JSON 文檔的結(jié)構(gòu)。接下來是將其轉(zhuǎn)變?yōu)閳D靈完備的函數(shù)式編程語言的部分。

## 說明

表達式可以使用“C”樣式注釋分隔符與注釋交錯。例如，

```
/* Long-winded expressions might need some explanation */
(
  $pi := 3.1415926535897932384626;
  $plot := function($x) {(
    $floor := $string ~> $substringBefore(?, '.') ~> $number;
    $index := $floor(($x + 1) * 20 + 0.5);
    $join([0..$index].('.')) & 'O' & $join([$index..40].('.'))
  )};

/* Factorial is the product of the integers 1..n */
  $product := function($a, $b) { $a * $b };
  $factorial := function($n) { $n = 0 ? 1 : $reduce([1..$n], $product) };

$sin := function($x){ /* define sine in terms of cosine */
    $cos($x - $pi/2)
  };
  $cos := function($x){ /* Derive cosine by expanding Maclaurin series */
    $x > $pi ? $cos($x - 2 * $pi) : $x < -$pi ? $cos($x + 2 * $pi) :
      $sum([0..12].($power(-1, $) * $power($x, 2*$) / $factorial(2*$)))
  };

[0..24].$sin($*$pi/12).$plot($)
)
```

如果您有興趣的話，可以制作[這個]()！

## 條件邏輯

可以使用三元運算符“？：”編寫 If/then/else 結(jié)構(gòu)。

`predicate ? expr1 : expr2`

表達式 `predicate` 被求值。如果其有效布爾值（參見定義）為 `true`，則 `expr1` 求值并返回，否則 `expr2` 求值并返回。

**示例**

```
Account.Order.Product.{ 
  `Product Name`: $.Price > 100 ? "Premium" : "Basic"
} 
//結(jié)果
[
{
"Bowler Hat": "Basic"
},
{
"Trilby hat": "Basic"
},
{
"Bowler Hat": "Basic"
},
{
"Cloak": "Premium"
}
]
```

## 變量

任何以美元符號“$”開頭的名稱都是變量。變量是對值的命名引用。該值可以是語言[類型系統(tǒng)]()中的任意類型。

### 內(nèi)置變量

* `$` 沒有名稱的變量指的是輸入 JSON 層次結(jié)構(gòu)中任意一點的上下文值。示例
* `$$` 輸入 JSON 的根。僅當(dāng)您需要脫離當(dāng)前上下文以暫時導(dǎo)航到其他路徑時才需要。例如用于交叉引用或連接數(shù)據(jù)。示例
* 本機（內(nèi)置）函數(shù)。請參閱函數(shù)庫。

### 變量綁定

值（類型系統(tǒng)中的任意類型）可以綁定到變量

`$var_name := "value"`

稍后可以使用表達式引用存儲的值 `$var_name`。

變量的作用域僅限于它所綁定的“塊”。例如

```
Invoice.(
$p := Product.Price;
$q := Product.Quantity;
$p * $q
)
```

返回發(fā)票中產(chǎn)品價格乘以數(shù)量。

## 功能

函數(shù)是一等類型，可以像任何其他數(shù)據(jù)類型一樣存儲在變量中。提供了內(nèi)置函數(shù)庫（鏈接）并將其分配給全局范圍內(nèi)的變量。例如，`$uppercase` 包含一個函數(shù)，當(dāng)使用字符串參數(shù)調(diào)用時，`str` 將返回一個字符串，其中 中的所有字符都 `str` 更改為大寫。

### 調(diào)用函數(shù)

函數(shù)的調(diào)用是通過在其引用（或定義）后面加上包含逗號分隔的參數(shù)序列的括號來實現(xiàn)的。

**示例**

* `$uppercase("Hello")` 返回字符串“HELLO”。
* `$substring("hello world", 0, 5)` 返回字符串“hello”
* `$sum([1,2,3])` 返回數(shù)字 6

### 定義函數(shù)

可以使用以下語法定義匿名（lambda）函數(shù)：

`function($l, $w, $h){ $l * $w * $h }`

可以使用以下方式調(diào)用

`function($l, $w, $h){ $l * $w * $h }(10, 10, 5)` 返回 500

該函數(shù)還可以分配給變量以供將來使用（在塊內(nèi)）

```(
$volume := function($l, $w, $h){ $l * $w * $h };
$volume(10, 10, 5);
)
```

### 函數(shù)簽名

函數(shù)可以用可選簽名來定義，該簽名指定函數(shù)的參數(shù)類型。如果提供，評估引擎將在調(diào)用函數(shù)之前驗證傳遞給函數(shù)的參數(shù)。如果參數(shù)列表與簽名不匹配，則會引發(fā)動態(tài)錯誤。

函數(shù)簽名是形式為 的字符串 `<params:return>`。`params` 是類型符號序列，每個符號代表一個輸入?yún)?shù)的類型。`return` 是表示返回值類型的單個類型符號。

類型符號的工作原理如下：

簡單類型：

* `b`- boolean
* `n`-number
* `s`- string
* `l`-`null`

復(fù)雜類型：

* `a`- array
* `o`- object
* `f`- function

聯(lián)合類型：

* `(sao)`- string、array、objct
* `(o)`- 等同 `o`
* `u`- 相當(dāng)于 `(bnsl)` boolean、number、string、`null`
* `j`- 任何 JSON 類型。相當(dāng)于 `(bnsloa)` boolean、number、string、 `null`、對象或數(shù)組，但不是函數(shù)
* `x`- 任何類型。相當(dāng)于 `(bnsloaf)`

參數(shù)化類型：

* `a<s>`- 字符串?dāng)?shù)組
* `a<x>`- 任意類型的值數(shù)組

內(nèi)置 函數(shù)簽名的一些示例：

* `$count` 有簽名 `<a:n>`；它接受一個數(shù)組并返回一個數(shù)字。
* `$append` 有簽名 `<aa:a>`；它接受兩個數(shù)組并返回一個數(shù)組。
* `$sum` 有簽名 `<a<n>:n>`；它接受一個數(shù)字數(shù)組并返回一個數(shù)字。
* `$reduce` 有簽名 `<fa<j>:j>`；它接受一個 Reducer 函數(shù) `f` 和一個 `a<j>`（JSON 對象數(shù)組）并返回一個 JSON 對象。

每種類型符號也可能有應(yīng)用的 *選項* 。

* `+`- 一個或多個此類型的參數(shù)
  * 例如 `$zip` 有簽名 `<a+>`；它接受一個數(shù)組，或兩個數(shù)組，或三個數(shù)組，或......
* `?`- 可選參數(shù)
  * 例如 `$join` 有簽名 `<a<s>s?:s>`；它接受一個字符串?dāng)?shù)組和一個可選的連接字符串（默認為空字符串）。它返回一個字符串。
* `-`- 如果缺少此參數(shù)，則使用上下文值（“focus”）。
  * 例如 `$length` 有簽名 `<s-:n>`；它可以被稱為 `$length(OrderID)`（一個參數(shù)），但等效于 `OrderID.$length()`。

### 遞歸函數(shù)

已分配給變量的函數(shù)可以使用該變量引用來調(diào)用自身。這允許定義遞歸函數(shù)。例如。

```
(
$factorial:= function($x){ $x <= 1 ? 1 : $x * $factorial($x-1) };
$factorial(4
) 
//結(jié)果 
24
```

請注意，實際上可以使用純匿名函數(shù)（即不將任何內(nèi)容分配給變量）編寫遞歸函數(shù)。這是使用[Y-combinator]()完成的，對于那些對函數(shù)式編程感興趣的人來說，這可能是一個有趣的[消遣。]()

### 尾調(diào)用優(yōu)化（尾遞歸）

遞歸函數(shù)每次調(diào)用自身時都會向調(diào)用堆棧添加一個新框架。如果函數(shù)回退超過一定限制，這最終會導(dǎo)致堆棧耗盡。考慮階乘函數(shù)的經(jīng)典遞歸實現(xiàn)

```
(
$factorial := function($x) {
$x <= 1 ? 1 : $x * $factorial($x-1)
};
$factorial(170)
)
```

此函數(shù)的工作原理是將數(shù)字推送到堆棧上，然后在堆棧展開時將其乘以數(shù)字階乘減一的結(jié)果。以這種方式編寫，評估器別無選擇，只能使用調(diào)用堆棧來存儲中間結(jié)果。如果數(shù)字足夠大，調(diào)用堆棧就會溢出。

這是函數(shù)式編程中公認的問題，解決方案是稍微重寫函數(shù)以避免需要*堆棧*來存儲中間結(jié)果。以下階乘的實現(xiàn)實現(xiàn)了這一點

```
(
$factorial := function($x){(
$iter := function($x, $acc) {
$x <= 1 ? $acc : $iter($x - 1, $x * $acc)
};
$iter($x, 1)
)};
$factorial(170)
)
```

這里，乘法是*在*函數(shù)調(diào)用自身之前完成的，中間結(jié)果放在第二個參數(shù) `$acc`（累加器）中。調(diào)用自身是函數(shù)執(zhí)行的*最后一*件事。這被稱為“尾部調(diào)用”，當(dāng) 解析器發(fā)現(xiàn)這一點時，它會在內(nèi)部將遞歸重寫為一個簡單的循環(huán)。因此它可以無限期地運行而不會增加調(diào)用堆棧。以這種方式編寫的函數(shù)被稱為[尾部遞歸]()。

### 高階函數(shù)

函數(shù)是一等數(shù)據(jù)類型，可以作為參數(shù)傳遞給另一個函數(shù)，也可以從函數(shù)返回。處理其他函數(shù)的函數(shù)稱為高階函數(shù)。請考慮以下示例：

```
(
$twice := function($f) { function($x){ $f($f($x)) } };
$add3 := function($y){ $y + 3 };
$add6 := $twice($add3);
$add6(7)
)
```

* 變量中存儲的函數(shù) `$twice` 是高階函數(shù)。它接受一個 `$f` 函數(shù)參數(shù)，并返回一個接受參數(shù)的函數(shù)，該函數(shù) `$x` 在調(diào)用時會將該函數(shù)應(yīng)用 `$f` 兩次 `$x`。
* `$add3` 存儲一個將 3 添加到其參數(shù)的函數(shù)。`$twice` 或 都 `$add3` 尚未被調(diào)用。
* `$twice` 通過將函數(shù)作為其參數(shù)傳遞來調(diào)用。這將返回一個對其 `add3` 參數(shù)應(yīng)用 `$add3` 兩次的函數(shù)。這個返回的函數(shù)尚未被調(diào)用，而是被分配給變量。`add6`
* 最后，使用參數(shù) 7 調(diào)用函數(shù) `$add6`，結(jié)果將 3 加到該函數(shù)兩次。它返回 13。

### 函數(shù)是閉包

定義 lambda 函數(shù)時，求值引擎會獲取環(huán)境快照并將其與函數(shù)體定義一起存儲。環(huán)境由上下文項（即位置路徑中的當(dāng)前值）以及當(dāng)前范圍內(nèi)的變量綁定組成。稍后調(diào)用 lambda 函數(shù)時，將在存儲的環(huán)境中執(zhí)行，而不是在調(diào)用時的當(dāng)前環(huán)境中執(zhí)行。此屬性稱為*詞法作用域，是*  *閉包*的基本屬性。

請考慮以下示例：

```
Account.(
$AccName := function() { $.'Account Name' };

Order[OrderID = 'order104'].Product.{
'Account': $AccName(),
'SKU-' & $string(ProductID): $.'Product Name'
}
)
```

當(dāng)函數(shù)被創(chuàng)建時，上下文項（用 '$' 表示）是 的值 `Account`。稍后，當(dāng)函數(shù)被調(diào)用時，上下文項已在結(jié)構(gòu)中向下移動到每個 `Product` 項的值。但是，函數(shù)體是在定義時存儲的環(huán)境中調(diào)用的，因此其上下文項是 的值 `Account`。這是一個有點牽強的例子，你實際上不需要一個函數(shù)來做到這一點。表達式產(chǎn)生以下結(jié)果：

```
{
"Account": "Firefly",
"SKU-858383": "Bowler Hat",
"SKU-345664": "Cloak"
}
```

### 部分函數(shù)應(yīng)用

可以通過調(diào)用函數(shù)[來部分應(yīng)用]()函數(shù)，其中一個或多個（但不是全部）參數(shù)用問號占位 `?` 符替換。這樣做的結(jié)果是另一個函數(shù)，其參數(shù)數(shù)量減少了提供給原始函數(shù)的參數(shù)數(shù)量。這個返回的函數(shù)可以像任何其他新定義的函數(shù)一樣處理，例如綁定到變量、傳遞給高階函數(shù)等。

**示例**

* `$substring` 通過部分應(yīng)用函數(shù)創(chuàng)建一個函數(shù)來返回字符串的前五個字符

```
(
$first5 := $substring(?, 0, 5);
$first5("Hello, World")
)
//結(jié)果 
"Hello"
```

* 部分應(yīng)用函數(shù)可以進一步部分應(yīng)用

```
(
$firstN := $substring(?, 0, ?);
$first5 := $firstN(?, 5);
$first5("Hello, World")
)
//結(jié)果 
"Hello"
```

### 函數(shù)鏈

函數(shù)鏈接有兩種使用方式：

1. 當(dāng)多個函數(shù)應(yīng)用于一個值時，避免大量嵌套
2. 作為通過組合現(xiàn)有函數(shù)來定義新函數(shù)的高階構(gòu)造

#### 調(diào)用鏈

`value ~> $funcA ~> $funcB`
相當(dāng)于
`$funcB($funcA(value))`

**示例**

* `Customer.Email ~> $substringAfter("@") ~> $substringBefore(".") ~> $uppercase()`

#### 函數(shù)組合

[函數(shù)組合](https://en.wikipedia.org/wiki/Function_composition)是將一個函數(shù)應(yīng)用到另一個函數(shù)中以產(chǎn)生第三個函數(shù)。

`$funcC := $funcA ~> $funcB`
相當(dāng)于
`$funcC := function($arg) { $funcB($funcA($arg)) }`

**示例**

* 通過鏈接兩個現(xiàn)有函數(shù)來創(chuàng)建新函數(shù)

```
(
$normalize := $uppercase ~> $trim;
$normalize("   Some   Words   ")
) 
//結(jié)果
"SOME WORDS"
```

### 函數(shù)作為第一類值

函數(shù)組合可以與部分函數(shù)應(yīng)用相結(jié)合，產(chǎn)生用于定義新函數(shù)的非常緊湊的語法。

**示例**

* 通過鏈接兩個部分求值的函數(shù)來創(chuàng)建新函數(shù)

```
(
$first5Capitalized := $substring(?, 0, 5) ~> $uppercase(?);
$first5Capitalized(Address.City)
) 
//結(jié)果
"WINCH"
```

### 高級示例——Y-combinator

沒有必要閱讀本節(jié)——它不會對您的理智或操作 JSON 數(shù)據(jù)的能力產(chǎn)生任何影響。

前面我們學(xué)習(xí)了如何編寫遞歸函數(shù)來計算數(shù)字的階乘，并暗示這可以在不命名任何函數(shù)的情況下完成。我們可以將高階函數(shù)發(fā)揮到極致，并編寫以下內(nèi)容：

```
λ($f) { λ($x) { $x($x) }( λ($g) { $f( (λ($a) {$g($g)($a)}))})}(λ($f) { λ($n) { $n < 2 ? 1 : $n * $f($n - 1) } })(6)
```

得出結(jié)果 `720`。希臘符號 lambda (λ) 可以代替單詞 `function`，如果你能在鍵盤上找到它，它將節(jié)省屏幕空間并讓[lambda 演算]()的粉絲們滿意。

上述表達式的第一部分是該語言中[Y 組合器]()的實現(xiàn)。我們可以將其分配給一個變量并將其應(yīng)用于其他遞歸匿名函數(shù)：

```
(
$Y := λ($f) { λ($x) { $x($x) }( λ($g) { $f( (λ($a) {$g($g)($a)}))})};
[1,2,3,4,5,6,7,8,9] . $Y(λ($f) { λ($n) { $n <= 1 ? $n : $f($n-1) + $f($n-2) } }) ($)
)
```

產(chǎn)生斐波那契數(shù)列 `[ 1, 1, 2, 3, 5, 8, 13, 21, 34 ]`。

但我們不需要做任何這些。使用命名函數(shù)更為明智：

```(
$fib := λ($n) { $n <= 1 ? $n : $fib($n-1) + $fib($n-2) };
[1,2,3,4,5,6,7,8,9] . $fib($)
)
```

8、函數(shù)式編程