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