是什么让一个变量看起来不自由＆＃39;在lambda表达式中

Question

Philip Wadler's Monads for functional programming中的第11页：

  

monad的操作满足三个法则。

     

...

     

关联。计算m，将结果绑定到a，计算n，将结果绑定到b，计算o。这种计算中括号的顺序是无关紧要的。

m ★ (λa. n ★ λb. o) = (m ★ λa. n) ★ λb. o.

     

变量 a 的范围在左侧包含 o 但在右侧不包括 o ，因此该法律仅在< em> a 在 o 中无法显示。

什么使变量“看起来不自由”？在这种情况下？

Answer 1

如果（且仅当）a中所有o出现在绑定a的lambda内，

o在a中似乎没有空闲。

例如，如果o = \a. a或o = x（a完全没有出现），a在o中似乎没有空闲，但如果{ {1}}或o = a，o = \b. a b确实显示免费。