對於簡短的函式，堆疊操作就夠用了。但當一個函式有好幾個輸入，而你需要用名稱來指涉它們時，Factor 提供了區域變數，這種具名綁定可以用::（用於函式定義）或[| | ]（用於行內匿名函式）來引入。
把:換成::，輸入名稱就會在函式主體中變成區域變數：
USING: locals ;
:: hypotenuse ( a b -- c )
a a *
b b *
+ sqrt ;
和堆疊搬移的版本比較一下：
! DOCTEST: SKIP (shown for comparison — would re-define hypotenuse)
: hypotenuse ( a b -- c )
[ sq ] bi@ + sqrt ;
兩種寫法都行得通。當某個輸入被引用超過一次，或是運算順序無法自然地和堆疊順序對應時，區域變數就特別好用。
用:>綁定中間值
在::的主體裡（或是行內[| ... |]匿名函式中），:>會從資料堆疊彈出一個值，並把它綁定到一個新的區域變數：
value :> name ! immutable binding
value :> name! ! mutable binding (name! is its setter)
不可變的形式比較常用，用它為中間值命名，可以讓主體由上往下讀：
USING: locals math ;
:: average-3 ( x y z -- avg )
x y + z + :> sum
sum 3 / ;
帶有!的版本會把這個區域變數宣告成可變；在主體稍後的位置，用value name!（沒有冒號，也沒有:>）就能重新指定它的值：
USING: kernel locals math math.order ;
:: clamped ( x lo hi -- y )
x :> v!
v lo < [ lo v! ] when
v hi > [ hi v! ] when
v ;
可變的區域變數在你之後練習會遇到的疊代函式（例如while）中特別好用。
[let：在任何地方建立作用域
:>只能在詞法作用域中使用，而::和[| ... |]會自動建立這種作用域。如果想從一般的:函式或互動式環境中引入區域變數，就把程式碼包在[let ... ]裡：
[let code :> name code :> name ... body ]
每個:> name都會綁定前一個運算式堆疊頂端的值，而這些綁定對整個形式的其餘部分都看得見。
USING: locals math ;
[let 3 :> x 4 :> y x x * y y * + ] . ! => 25
[let是堆疊風格的:定義和具名綁定之間的橋樑。當一個函式中只有一小部分能受益於區域變數時，就很方便。
匿名函式：[| inputs | body ]
在程式區塊裡，[| inputs | body ]會引入主體可以用名稱指涉的區域變數。這在像assoc-map這類高階函式中特別有用，它收到的程式區塊會同時拿到key和value：
USING: assocs locals ;
H{ { "a" 1 } { "b" 2 } }
[| key value | key value neg ] assoc-map .
! => H{ { "a" -1 } { "b" -2 } }
同樣的形式也適用於map-index（位於[sequences][sequences]中），它的程式區塊會收到元素和它的索引。這些名稱讓人清楚看出哪個運算元扮演哪個角色：
USING: locals sequences ;
! Divide each element by its 1-based position:
{ 10 80 270 } [| elt i | elt i 1 + / ] map-index .
! => { 10 40 90 }
匿名函式的堆疊效應取決於輸入清單以及主體產生的結果。
什麼時候該用區域變數
在這些情況下可以使用區域變數：
- 同一個輸入會用在超過一個地方。
- 自然的運算順序和堆疊順序不一致，而用來修正的
dup/swap/rot又難以閱讀。
- 你正在一個傳給高階函式的行內匿名函式裡，而那個高階函式會一次交給你好幾個值（例如
assoc-map）。
當主體是乾淨的線性流程時，單純的:定義反而更短，也至少一樣好讀。
assoc-map：一次處理一個項目
assoc-map（位於assocs中）會把程式區塊套用到關聯式集合的每一個項目上：
assoc-map ( assoc quot: ( key value -- newkey newvalue ) -- newassoc )
用帶有區域變數的匿名函式來寫這個程式區塊，是最乾淨俐落的做法。
重新檢視cond
當你需要根據f或某個數值來分派時，cond正是合適的形式。因為沒有單一值可以比較，所以不需要用case。
學習練習
