什麼是前束正規化

前束正規化（FBC）是一種關於計算模型的正規化，它描述了計算過程中的評估順序。在前束正規化中，所有的引數在函式被呼叫之前都被求值，並且求值的次序是確定的。

在前束正規化中，函式的引數可以是常量、變數或者其他被求值的表示式。當函式被呼叫時，所有的引數都會被求值，並且按照表達式的結構進行求值。這種求值順序是從內到外，從左到右的。也就是說，先求左側引數的值，再求右側引數的值。

以下是一個前束正規化的例子：

```
f(a + b * c, d - e)
```

在此例中，引數 `a + b * c` 會首先被求值，然後是引數 `d - e`。然後，函式 `f` 會以這兩個求值結果作為引數進行呼叫。

前束正規化在許多程式設計語言中的函式呼叫機制中都得到了應用。它提供了一種確定的求值順序，使得程式的行為更加可預測和可控。