Subject | : Re^2: Withの束縛の取扱いがおかしい |
Date | : 2012/07/20(Fri) 09:05:16 |
Contributor | : K. Oide |
この問題は、Functionも含めてk64-1-6で対応が試みられています。
With[{a=2}, With[{a=3}, ...]]
のように、Withのlocal symbolがかぶる場合、内側のsymbolが優先します。ただし、
With[{a=2}, With[{a}, ...]]
のように、内側のsymbolの値を与えない場合は、内側のsymbol aを外側のWithの置換対象にしています。要議論です。
Functionの場合は常に内側が優先します。