Overview
| SHA1 Hash: | 32e5c4ef442878d3e52cfd39ac583aad57922958 |
|---|---|
| Date: | 2010-11-30 11:23:19 |
| User: | kinaba |
| Comment: | documentation update |
| Timelines: | family | ancestors | descendants | both | trunk |
| Downloads: | Tarball | ZIP archive |
| Other Links: | files | file ages | manifest |
Tags And Properties
- branch=trunk inherited from [f65680e1d2]
- sym-trunk inherited from [f65680e1d2]
Changes
Modified doc/eval.html from [4697f3dd9da1ee2d] to [039ae5016d571b42].
128 128 <script>explorer.outline.decSymbolLevel();</script> 129 129 130 130 131 131 </td></tr> 132 132 <tr><td id="docfooter"> 133 133 Page was generated with 134 134 <img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px"> 135 - on Sun Nov 28 07:28:21 2010 135 + on Tue Nov 30 10:23:12 2010 136 136 137 137 </td></tr> 138 138 </table> 139 139 </div> 140 140 <script> 141 141 explorer.packageExplorer.addModule("index"); 142 142 explorer.packageExplorer.addModule("main");
Modified doc/index.html from [34739585fd5c7798] to [a25f52da129efe47].
621 621 <dd><p> 622 622 パターンマッチ失敗時と、"..." という式を実行したときと、再帰が無限に止まらなくなったとき、 623 623 には、Polemy のコードは実行時エラーで終了します……<tt>@value</tt> レイヤならば。 624 624 </p> 625 625 <p> 626 626 ユーザー定義レイヤでは、このような時にも実行時エラーにならず、 627 627 「<font color=red><b>ボトム</b></font>」という特別な値がリフト関数に渡されます。 628 +（ボトムのリフトに失敗した時は、この再帰停止処理は行われません。無限ループします。） 628 629 組み込みの <tt>_isbot</tt> 関数で、ボトムかどうか判定できます。 629 630 </p> 630 631 <p> 631 632 「再帰が無限に止まらなくなったとき」は、 632 633 ある引数で呼び出された関数が、return するよりも前にまた同じ引数で呼び出されたら、 633 634 ループしていると見なすことで判定しています。 634 635 これを判定する実装の副作用として、ユーザー定義のレイヤでは、関数は全てメモ化されています。 ................................................................................ 1157 1158 <script>explorer.outline.decSymbolLevel();</script> 1158 1159 1159 1160 1160 1161 </td></tr> 1161 1162 <tr><td id="docfooter"> 1162 1163 Page was generated with 1163 1164 <img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px"> 1164 - on Sun Nov 28 07:29:42 2010 1165 + on Tue Nov 30 10:23:12 2010 1165 1166 1166 1167 </td></tr> 1167 1168 </table> 1168 1169 </div> 1169 1170 <script> 1170 1171 explorer.packageExplorer.addModule("index"); 1171 1172 explorer.packageExplorer.addModule("main");
Modified doc/lex.html from [c0949ad2b1503d71] to [36c65f5586a93a93].
307 307 <script>explorer.outline.decSymbolLevel();</script> 308 308 309 309 310 310 </td></tr> 311 311 <tr><td id="docfooter"> 312 312 Page was generated with 313 313 <img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px"> 314 - on Sat Nov 27 23:29:19 2010 314 + on Tue Nov 30 10:23:12 2010 315 315 316 316 </td></tr> 317 317 </table> 318 318 </div> 319 319 <script> 320 320 explorer.packageExplorer.addModule("index"); 321 321 explorer.packageExplorer.addModule("main");
Modified doc/parse.html from [71836dac82f5012f] to [16e52e8c07d90677].
56 56 <script>explorer.outline.decSymbolLevel();</script> 57 57 58 58 59 59 </td></tr> 60 60 <tr><td id="docfooter"> 61 61 Page was generated with 62 62 <img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px"> 63 - on Sat Nov 27 23:29:20 2010 63 + on Tue Nov 30 10:23:12 2010 64 64 65 65 </td></tr> 66 66 </table> 67 67 </div> 68 68 <script> 69 69 explorer.packageExplorer.addModule("index"); 70 70 explorer.packageExplorer.addModule("main");
Modified index.dd from [a39b25f2bef916f0] to [c411cf72312ff15e].
484 484 <p> 485 485 パターンマッチ失敗時と、"..." という式を実行したときと、再帰が無限に止まらなくなったとき、 486 486 には、Polemy のコードは実行時エラーで終了します……<tt>@value</tt> レイヤならば。 487 487 </p> 488 488 <p> 489 489 ユーザー定義レイヤでは、このような時にも実行時エラーにならず、 490 490 「$(RED $(B ボトム))」という特別な値がリフト関数に渡されます。 491 +（ボトムのリフトに失敗した時は、この再帰停止処理は行われません。無限ループします。） 491 492 組み込みの <tt>_isbot</tt> 関数で、ボトムかどうか判定できます。 492 493 </p> 493 494 <p> 494 495 「再帰が無限に止まらなくなったとき」は、 495 496 ある引数で呼び出された関数が、return するよりも前にまた同じ引数で呼び出されたら、 496 497 ループしていると見なすことで判定しています。 497 498 これを判定する実装の副作用として、ユーザー定義のレイヤでは、関数は全てメモ化されています。