pi8027/typeinfer — Issue #30: 3.3.1 アルゴリズムの簡約をしてしまうと変数の捕獲が問題になる場合？
Author: cutsea110
Created: 2011-11-08 07:08:38+00:00
State: open

> ただし、簡約をしてしまうと変数の捕獲が問題になってしまう場合があります。

これはどういう場合にどういう風な問題が起きることを指しているのでしょうか？