http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4 History/revisions of FreeSource/AltLinux/Sisyphus/Alterator/internals/4 en-us http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4/show?time=2006-10-31+17%3A19%3A27 <div class="pageBefore"><img src="http://freesource.info/wiki/images/z.gif" width="1" height="1" border="0" alt="" style="display:block" align="top" /></div><div class="page"> <b>Сравнение версий <a name=".altlinux.sisyphus.alterator.internals.4" href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4&" class="">/Alt&nbsp;Linux&nbsp;/&nbsp;Sisyphus&nbsp;/&nbsp;Alterator&nbsp;/&nbsp;internals&nbsp;/&nbsp;4</a> за <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2006-10-31+17%3A19%3A27">2006-10-31 17:19:27</a> и <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4">2008-03-06 15:19:57</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><div class="action" style="float:right; width:250px"><div class="action-content">Эта&nbsp;страница была перенесена на&nbsp;<a href="http://altlinux.org/Alterator/internals/4" target="_blank" title="" class="outerlink">altlinux.org</a>. Текст на&nbsp;freesource.info заморожен.</div></div><br /> После того как&nbsp;все переменные разобраны, если в&nbsp;результате остаётся список, то&nbsp;происходит запуск функции. Первый элемент списка &ndash; собственно указатель на&nbsp;саму функцию, например в&nbsp;одном из&nbsp;наших примеров &ndash; это&nbsp;стандартная функция <tt>string-append</tt>, а&nbsp;все оставшиеся &ndash; это&nbsp;аргументы функции. Вычисляем указанную функцию от&nbsp;данных аргументов (в том&nbsp;же&nbsp;примере &ndash; это&nbsp;две константные строки <tt>&#8220;str1&#8221;</tt> и&nbsp;<tt>&#8220;str2&#8221;</tt>) ... и&nbsp;получаем результат исполнения.<br /> <tt>(some-func a&nbsp;#t (+ 1 3))</tt> &ndash; получим результат выполнения функции от&nbsp;аргументов:<br /> &mdash; логическая ложь<br /> Если в&nbsp;результате вы&nbsp;получили простую структуру, состоящую из&nbsp;списков, возможно вложенных и&nbsp;каких-либо констант(строк, чисел, символов), то&nbsp;<tt>write</tt> напечатает их&nbsp;в таком виде, что&nbsp;потом <tt>read</tt> может их&nbsp;обратно съесть.<br /> Ну&nbsp;а теперь повторим пройденное. Помните про&nbsp;функцию <tt>quote</tt>, которая позволяла заполучить символы? <tt>quote</tt> просто напросто говорит интерпретатору, что&nbsp;не&nbsp;надо исполнять <tt>eval</tt> после <tt>read</tt>.<br /> <ul><li> <tt>(if #f 3)</tt> &ndash; поскольку <tt>&laquo;команда-если-ложь&raquo;</tt> отсутствует, то&nbsp;<tt>if</tt> вернёт некоторое волшебную сущность, которую иногда называют unspecific, иногда unspecified &mdash; в&nbsp;общем &laquo;то, не&nbsp;знаю что&raquo; или&nbsp;&laquo;неопределенное значение&raquo; &ndash; особый вид&nbsp;значения.</li></ul><a name="h5141-1"></a><h4>10.3 Последовательное исполнение</h4></div><br /> <b>Удалено:</b><br /> <div class="deletions">После того как&nbsp;все переменные разобраны, то&nbsp;если в&nbsp;результате остаётся писок, то&nbsp;происходит запуск функции. Первый элемент списка &ndash; собственно указатель на&nbsp;саму функцию, например в&nbsp;одном из&nbsp;наших примеров &ndash; это&nbsp;стандартная функция <tt>string-append</tt>, а&nbsp;все оставшиеся &ndash; это&nbsp;аргументы функции. Вычисляем указанную функцию от&nbsp;данных аргументов (в том&nbsp;же&nbsp;примере &ndash; это&nbsp;две константные строки <tt>&#8220;str1&#8221;</tt> и&nbsp;<tt>&#8220;str2&#8221;</tt>) ... и&nbsp;получаем результат исполнения.<br /> <tt>(some-func a&nbsp;#t (+ 1 3))</tt> &ndash; получим результат выполнения функцию от&nbsp;аргументов:<br /> &mdash; лочическая ложь<br /> Если в&nbsp;результате вы&nbsp;получили простую структуру, соcтоящую из&nbsp;списков, возможно вложенных и&nbsp;каких-либо констант(строк, чисел, символов), то&nbsp;<tt>write</tt> напечатает их&nbsp;в таком виде, что&nbsp;потом <tt>read</tt> может их&nbsp;обратно съесть.<br /> Ну&nbsp;а теперь повторим пройдённое. Помните про&nbsp;функцию <tt>quote</tt>, которая позволяла заполучить символы? <tt>quote</tt> просто напросто говорит интерпретатору, что&nbsp;не&nbsp;надо исполнять <tt>eval</tt> после <tt>read</tt>.<br /> <ul><li> <tt>(if #f 3)</tt> &ndash; поскольку <tt>&laquo;команда-если-ложь&raquo;</tt> отсутствует, то&nbsp;<tt>if</tt> вернёт некоторое волшебную сущность, которую иногда называют unspecific, иногда unspecified &mdash; в&nbsp;общем &laquo;то, не&nbsp;знаю что&raquo;.</li></ul><a name="h5141-1"></a><h4>10.3 последовательное исполнение</h4></div></div> http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4/show?time=2006-10-31+17%3A07%3A49 <div class="pageBefore"><img src="http://freesource.info/wiki/images/z.gif" width="1" height="1" border="0" alt="" style="display:block" align="top" /></div><div class="page"> <b>Сравнение версий <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4&" class="">/Alt&nbsp;Linux&nbsp;/&nbsp;Sisyphus&nbsp;/&nbsp;Alterator&nbsp;/&nbsp;internals&nbsp;/&nbsp;4</a> за <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2006-10-31+17%3A07%3A49">2006-10-31 17:07:49</a> и <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2006-10-31+17%3A19%3A27">2006-10-31 17:19:27</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions">В&nbsp;отдельных случаях хочется заранее знать, как&nbsp;и&nbsp;когда будут аргументы вычислены. Поскольку эти&nbsp;&laquo;функции&raquo; такие особые, то&nbsp;и называются они&nbsp;&laquo;особые формы&raquo;, вот&nbsp;основные, которые нам&nbsp;потребуются на&nbsp;практике.</div><br /> <b>Удалено:</b><br /> <div class="deletions">В&nbsp;отдельных случаях хочется заранее знать, как&nbsp;и&nbsp;когда будут аргументы вычислены. Поскольку эти&nbsp;&laquo;функции&raquo; такие особые, то&nbsp;и называются они&nbsp;&laquo;особые формы&raquo;, вот&nbsp;основные, которые нам&nbsp;потребуются при&nbsp;работе с&nbsp;alterator.</div></div> http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4/show?time=2005-11-07+11%3A56%3A56 <div class="pageBefore"><img src="http://freesource.info/wiki/images/z.gif" width="1" height="1" border="0" alt="" style="display:block" align="top" /></div><div class="page"> <b>Сравнение версий <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4&" class="">/Alt&nbsp;Linux&nbsp;/&nbsp;Sisyphus&nbsp;/&nbsp;Alterator&nbsp;/&nbsp;internals&nbsp;/&nbsp;4</a> за <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2005-11-07+11%3A56%3A56">2005-11-07 11:56:56</a> и <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2006-10-31+17%3A07%3A49">2006-10-31 17:07:49</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions"><a name="h5141-1"></a><h3>9 Открываем капот.</h3> Давайте разберёмся с&nbsp;тем, как&nbsp;работает интерпретатор Scheme, благо знания нам&nbsp;уже это&nbsp;позволяют сделать. После этого всё, что&nbsp;было до&nbsp;сего момента неясно, уже&nbsp;станет очевидным.<a name="h5141-2"></a><h4>9.1 Чтение</h4><a name="h5141-3"></a><h4>9.2 Исполнение</h4><a name="h5141-4"></a><h4>9.3 Вывод результата на&nbsp;экран</h4><a name="h5141-5"></a><h4>9.4</h4><a name="h5141-6"></a><h3>10 Особые формы</h3><a name="h5141-7"></a><h4>10.1 Условные выражения</h4><a name="h5141-8"></a><h4>10.2 Множественное ветвление</h4><a name="h5141-9"></a><h4>10.3 последовательное исполнение</h4> <span class="missingpage">Продолжение следует</span><a href="http://freesource.info/wiki/5/edit?add=1&" title="Создать эту страницу">?</a></div><br /> <b>Удалено:</b><br /> <div class="deletions">Часть информации в&nbsp;ней будет касаться alterator, которого пока ещё нет&nbsp;в&nbsp;Сизифе, но&nbsp;он скоро до&nbsp;него доберётся.<a name="h5141-1"></a><h3>2.10 Открываем капот.</h3> Давайте разберёмся с&nbsp;тем, как&nbsp;работает интерпретатор Схемы, благо знания нам&nbsp;уже это&nbsp;позволяют сделать. После этого всё, что&nbsp;было до&nbsp;сего момента неясно, уже&nbsp;станет очевидным.<a name="h5141-2"></a><h4>2.10.1 Чтение</h4><a name="h5141-3"></a><h4>2.10.2 Исполнение</h4><a name="h5141-4"></a><h4>2.10.3 Вывод результата на&nbsp;экран</h4><a name="h5141-5"></a><h4>2.10.4</h4><a name="h5141-6"></a><h3>2.11 Особые формы</h3><a name="h5141-7"></a><h4>2.11.1 Условные выражения</h4><a name="h5141-8"></a><h4>2.11.2 Множественное ветвление</h4><a name="h5141-9"></a><h4>2.11.3 последовательное исполнение</h4><a name="h5141-10"></a><h3>2.12 Вернёмся к&nbsp;alterator</h3> Попробуем применить полученные знания к&nbsp;alterator.<br /> Попробуем сделать форму, состоящую из:<br /> &ndash; поля ввода (<tt>edit</tt>)<br /> &ndash; метки (<tt>label</tt>)<br /> &ndash; галки (<tt>checkbox</tt>) <em>(не знаю как&nbsp;это сказать по-русски) &mdash; inger@</em><br /> При&nbsp;вводе чего-либо в&nbsp;<tt>edit</tt> метка получит текст &#8220;something changed&#8221;<br /> При&nbsp;нажатии Enter метка получит текст &#8220;enter pressed&#8221;<br /> <tt>checkbox</tt> будет переключать режим отображения <tt>edit</tt> &ndash; нормальный и&nbsp;звездочками (как при&nbsp;вводе пароля).<br /> Раздадим имена виджетам:<br /> <ul><li> edit &ndash; editor </li><li> label &ndash; lbl&nbsp;</li><li> checkbox &ndash; setter.</li></ul> На&nbsp;этом краткое введение в&nbsp;Scheme завершается, но&nbsp;не заканчивается. В&nbsp;ходе дальнейшего рассказа про&nbsp;alterator мы&nbsp;попутно будем совершенствоваться в&nbsp;этом языке и&nbsp;изучать новые подробности.<br /> Если хотим узнать выставленна ли&nbsp;галочка у&nbsp;<tt>checkbox</tt> по&nbsp;имени <tt>setter</tt>, переформулируем эту&nbsp;фразу на&nbsp;языке alterator следующим образом: <tt>(setter checked)</tt><br /> В&nbsp;результате получаем или&nbsp;<tt>#t</tt> или&nbsp;<tt>#f</tt>.<br /> Итак, вот&nbsp;какое описание формы получается, если собрать всё воедино:<br /> (document:surround &laquo;/std/base&raquo;)<br /> (document:id editor (edit &quot;&quot;<br /> <div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent">(on-change (lbl text &#8220;something changed&#8221;))<br /> (on-return (lbl text &#8220;enter pressed&#8221;))))</div></div></div></div></div></div></div></div></div> (document:id lbl&nbsp;(label &#8220;some label&#8221;))<br /> (document:id setter (checkbox &#8220;Password mode&#8221;<br /> <div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent">(on-click (if (setter state)<br /> <div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent">(editor echo stars)<br /> (editor echo yes)))))</div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div> <span class="missingpage">5</span><a href="http://freesource.info/wiki/5/edit?add=1&" title="Создать эту страницу">?</a></div></div> http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4/show?time=2005-09-26+16%3A13%3A33 <div class="pageBefore"><img src="http://freesource.info/wiki/images/z.gif" width="1" height="1" border="0" alt="" style="display:block" align="top" /></div><div class="page"> <b>Сравнение версий <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4&" class="">/Alt&nbsp;Linux&nbsp;/&nbsp;Sisyphus&nbsp;/&nbsp;Alterator&nbsp;/&nbsp;internals&nbsp;/&nbsp;4</a> за <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2005-09-26+16%3A13%3A33">2005-09-26 16:13:33</a> и <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2005-11-07+11%3A56%3A56">2005-11-07 11:56:56</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions">(document:surround &laquo;/std/base&raquo;)<br /> <div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent">(on-click (if (setter state)</div></div></div></div></div></div></div></div></div></div></div></div><br /> <b>Удалено:</b><br /> <div class="deletions">(document:surround &laquo;/std/base&raquo;<br /> <div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent">(on-click (if (setter checked)</div></div></div></div></div></div></div></div></div></div></div></div></div> http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4/show?time=2005-07-20+17%3A22%3A42 <div class="pageBefore"><img src="http://freesource.info/wiki/images/z.gif" width="1" height="1" border="0" alt="" style="display:block" align="top" /></div><div class="page"> <b>Сравнение версий <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4&" class="">/Alt&nbsp;Linux&nbsp;/&nbsp;Sisyphus&nbsp;/&nbsp;Alterator&nbsp;/&nbsp;internals&nbsp;/&nbsp;4</a> за <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2005-07-20+17%3A22%3A42">2005-07-20 17:22:42</a> и <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2005-09-26+16%3A13%3A33">2005-09-26 16:13:33</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions">(document:surround &laquo;/std/base&raquo;<br /> (document:id editor (edit &quot;&quot;<br /> (document:id lbl&nbsp;(label &#8220;some label&#8221;))<br /> (document:id setter (checkbox &#8220;Password mode&#8221;</div><br /> <b>Удалено:</b><br /> <div class="deletions">(id 'editor (edit &quot;&quot;<br /> (id 'lbl (label &#8220;some label&#8221;))<br /> (id 'setter (checkbox &#8220;Password mode&#8221;</div></div> http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4/show?time=2005-07-20+00%3A52%3A55 <div class="pageBefore"><img src="http://freesource.info/wiki/images/z.gif" width="1" height="1" border="0" alt="" style="display:block" align="top" /></div><div class="page"> <b>Сравнение версий <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4&" class="">/Alt&nbsp;Linux&nbsp;/&nbsp;Sisyphus&nbsp;/&nbsp;Alterator&nbsp;/&nbsp;internals&nbsp;/&nbsp;4</a> за <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2005-07-20+00%3A52%3A55">2005-07-20 00:52:55</a> и <a href="http://freesource.info/wiki/AltLinux/Sisyphus/Alterator/internals/4?time=2005-07-20+17%3A22%3A42">2005-07-20 17:22:42</a></b><br /> <br /> <b>Добавлено:</b><br /> <div class="additions">Часть информации в&nbsp;ней будет касаться alterator, которого пока ещё нет&nbsp;в&nbsp;Сизифе, но&nbsp;он скоро до&nbsp;него доберётся.<a name="h5141-1"></a><h3>2.10 Открываем капот.</h3> Может быть, из&nbsp;академических соображений так&nbsp;поступать не&nbsp;стоит, однако иногда бывает проще рассказать про&nbsp;причину, чем&nbsp;про её следствия.<br /> Давайте разберёмся с&nbsp;тем, как&nbsp;работает интерпретатор Схемы, благо знания нам&nbsp;уже это&nbsp;позволяют сделать. После этого всё, что&nbsp;было до&nbsp;сего момента неясно, уже&nbsp;станет очевидным.<br /> <ul><li> прочитать очередное выражение </li><li> провести интерпретацию этого выражения</li></ul> Если мы&nbsp;находимся в&nbsp;командном интерпретаторе, то&nbsp;после последнего этапа ещё происходит печать получившегося выражения.<br /> Вот&nbsp;собственно и&nbsp;всё! Теперь разберёмся с&nbsp;каждым шагом. Как&nbsp;и&nbsp;многое другое, процесс интерпретации разделён на&nbsp;несколько отдельных функций, что&nbsp;позволяет контролировать его&nbsp;с&nbsp;точностью до&nbsp;миллиметра, если это&nbsp;конечно надо.<a name="h5141-2"></a><h4>2.10.1 Чтение</h4> Прочитать выражение позволяет функция <tt>read</tt>. По&nbsp;умолчанию чтение происходит со&nbsp;стандартного ввода. Глядя на&nbsp;примеры выражений и&nbsp;любовь языка к&nbsp;списковым структурам в&nbsp;круглых скобках, несложно догадаться, что&nbsp;мы&nbsp;получаем на&nbsp;выходе из&nbsp;<tt>read</tt> ... правильно &mdash; именно списки и&nbsp;получаем, ну&nbsp;или просто константы, если скобок не&nbsp;было.<br /> Первое &ndash; константа &ndash; число <tt>3</tt><br /> Второе &ndash; константа &ndash; строка <tt>&#8220;string&#8221;</tt><br /> <ul><li> символ <tt>+</tt> (вот они&nbsp;символы-то! не&nbsp;спроста они&nbsp;в&nbsp;языке существуют ;)) </li><li> число <tt>1</tt> </li><li> число <tt>3</tt> </li><li> константа &ndash; символ <tt>some-func</tt> </li><li> константа &ndash; символ <tt>a</tt> </li><li> константа &ndash; логическая ложь. </li><li> ещё один список из: символа <tt>+</tt> и&nbsp;чисел <tt>1</tt> и&nbsp;<tt>3</tt>.</li></ul> Шестое &ndash; символ <tt>a</tt>.<a name="h5141-3"></a><h4>2.10.2 Исполнение</h4> Исполнить полученный список, можно с&nbsp;помощью функции <tt>eval</tt>, которой передаются два&nbsp;параметра: список и&nbsp;среда исполнения. Что&nbsp;такое второй параметр &mdash; не&nbsp;будем пока заморачиваться, а&nbsp;примем как&nbsp;данность.<br /> Исполнитель рекурсивно пробегается по&nbsp;всем вложенным спискам, большинство констант интерпретируются в&nbsp;них самих (строки в&nbsp;строки, числа в&nbsp;числа), а&nbsp;вот наткнувшись на&nbsp;символ, производится поиск соотв. переменной и&nbsp;в результате подставляется то&nbsp;на что&nbsp;она ссылается (Note: здесь описана так&nbsp;называемая подстановочная модель, она&nbsp;не&nbsp;точная, зато простая и&nbsp;понятная, то&nbsp;что происходит в&nbsp;реальном интерпретаторе &mdash; гораздо сложнее, но&nbsp;суть остаётся примерно та&nbsp;же)<br /> После того как&nbsp;все переменные разобраны, то&nbsp;если в&nbsp;результате остаётся писок, то&nbsp;происходит запуск функции. Первый элемент списка &ndash; собственно указатель на&nbsp;саму функцию, например в&nbsp;одном из&nbsp;наших примеров &ndash; это&nbsp;стандартная функция <tt>string-append</tt>, а&nbsp;все оставшиеся &ndash; это&nbsp;аргументы функции. Вычисляем указанную функцию от&nbsp;данных аргументов (в том&nbsp;же&nbsp;примере &ndash; это&nbsp;две константные строки <tt>&#8220;str1&#8221;</tt> и&nbsp;<tt>&#8220;str2&#8221;</tt>) ... и&nbsp;получаем результат исполнения.<br /> <tt>3</tt> --&gt; собственно <tt>3</tt> и&nbsp;получим, никаких функций запускать не&nbsp;надо<br /> <tt>&#8220;string&#8221;</tt> --&gt; получим строку<br /> <tt>(+ 1 3)</tt> --&gt; выполним функцию сложения от&nbsp;аргументов <tt>1</tt> и&nbsp;<tt>3</tt>, результат &ndash; число <tt>4</tt>.<br /> <tt>(string-append &#8220;str1&#8221; &#8220;str2&#8221;)</tt> &ndash; результат &ndash; строка <tt>&#8220;str1str2&#8221;</tt><br /> <tt>(some-func a&nbsp;#t (+ 1 3))</tt> &ndash; получим результат выполнения функцию от&nbsp;аргументов:<br /> &mdash; значение переменной <tt>a</tt><br /> &mdash; лочическая ложь<br /> &mdash; результат сложения <tt>1</tt> и&nbsp;<tt>3</tt>, то&nbsp;есть аргумент равен <tt>4</tt>.<br /> <tt>a</tt> --&gt; значение переменной <tt>a</tt><a name="h5141-4"></a><h4>2.10.3 Вывод результата на&nbsp;экран</h4> Для&nbsp;вывода результата на&nbsp;экран есть множество функций, самая интересная из&nbsp;них это, пожалуй, <tt>write</tt>.<br /> Если в&nbsp;результате вы&nbsp;получили простую структуру, соcтоящую из&nbsp;списков, возможно вложенных и&nbsp;каких-либо констант(строк, чисел, символов), то&nbsp;<tt>write</tt> напечатает их&nbsp;в таком виде, что&nbsp;потом <tt>read</tt> может их&nbsp;обратно съесть.<br /> <tt>7</tt> напечатается как&nbsp;<tt>7</tt><br /> <tt>&#8220;str&#8221;</tt> напечатается как&nbsp;<tt>&#8220;str&#8221;</tt><br /> Списки опять напечатаются как&nbsp;знакомые выражения, окруженные скобками, например список из&nbsp;<tt>1</tt> <tt>2</tt> и&nbsp;<tt>3</tt> будет напечатан как&nbsp;<tt>(1 2 3)</tt><a name="h5141-5"></a><h4>2.10.4</h4> Ну&nbsp;а теперь повторим пройдённое. Помните про&nbsp;функцию <tt>quote</tt>, которая позволяла заполучить символы? <tt>quote</tt> просто напросто говорит интерпретатору, что&nbsp;не&nbsp;надо исполнять <tt>eval</tt> после <tt>read</tt>.<br /> Поэтому <tt>'a</tt> &ndash; это&nbsp;просто символ <tt>a</tt><br /> <tt>'(1 2 3)</tt> &ndash; это&nbsp;список из&nbsp;<tt>1</tt> <tt>2</tt> <tt>3</tt><a name="h5141-6"></a><h3>2.11 Особые формы</h3> В&nbsp;отдельных случаях хочется заранее знать, как&nbsp;и&nbsp;когда будут аргументы вычислены. Поскольку эти&nbsp;&laquo;функции&raquo; такие особые, то&nbsp;и называются они&nbsp;&laquo;особые формы&raquo;, вот&nbsp;основные, которые нам&nbsp;потребуются при&nbsp;работе с&nbsp;alterator.<a name="h5141-7"></a><h4>2.11.1 Условные выражения</h4> <tt>(if условие команда-если-истина команда-если-ложь)</tt><br /> Сначала вычисляется условие, если оно&nbsp;истинно (то есть не&nbsp;<tt>#f</tt>), то&nbsp;вычисляется <tt>команда-если-истина</tt>, иначе вычисляется <tt>команда-если-ложь</tt>.<br /> Например, <br /> <ul><li><tt>(if #f 3 4)</tt> &ndash; вернёт <tt>4</tt> </li><li> <tt> (if (+ 1 3) 5 6)</tt> &ndash; вернёт <tt>5</tt>, поскольку результат <tt>(+ 1 3)</tt>, то&nbsp;есть <tt>4</tt> &mdash; &laquo;не ложь&raquo;. </li><li> <tt>(if (string=? &#8220;aaa&#8221; &#8220;bbb&#8221;) 3 5)</tt> &ndash; вернёт <tt>5</tt>, ибо&nbsp;строки не&nbsp;равны </li><li> <tt>(if (number? 5) &#8220;number&#8221; &#8220;not number&#8221;)</tt> &ndash; вернёт строку <tt>&#8220;number&#8221;</tt>, ибо&nbsp;<tt>5</tt> &mdash; действительно число, а&nbsp;не что&nbsp;другое ;) </li><li> <tt>(if #f 3)</tt> &ndash; поскольку <tt>&laquo;команда-если-ложь&raquo;</tt> отсутствует, то&nbsp;<tt>if</tt> вернёт некоторое волшебную сущность, которую иногда называют unspecific, иногда unspecified &mdash; в&nbsp;общем &laquo;то, не&nbsp;знаю что&raquo;.</li></ul><a name="h5141-8"></a><h4>2.11.2 Множественное ветвление</h4> Если в&nbsp;данной точке программы надо исследовать множество различных вариантов, то&nbsp;используйте <tt>cond</tt><br /> Формат: <tt>(cond вариант1 вариант2 ... )</tt><br /> вариант &ndash; оформляется в&nbsp;виде <tt>(тест выражение1 выражение2 ... )</tt><br /> есть ещё специальный вариант <tt>(else выражение1 выражение2 ... )</tt>, который применяется, если никакой другой вариант не&nbsp;прошёл. <tt>else</tt> может остуствовать, и&nbsp;должен быть всегда последним вариантом в&nbsp;случае присутствия.<br /> <div class="indent">(cond<br /> <div class="indent">((string? x) &laquo;строка&raquo;)<br /> ((number? x) &laquo;число&raquo;)<br /> ((symbol? x) &laquo;символ&raquo;)<br /> (else &laquo;не знаю что&nbsp;такое&raquo;)))</div></div><a name="h5141-9"></a><h4>2.11.3 последовательное исполнение</h4> Иногда в&nbsp;<tt>if</tt> допустима только одна команда на&nbsp;условие истины и&nbsp;одна на&nbsp;условие лжи. А&nbsp;что делать если хочется исполнить сразу много команд в&nbsp;случае некоторого условия? Иногда можно конечно обойтись имеющимися средствами, но&nbsp;гораздо проще воспользоваться особой формой <tt>begin</tt>, которая вычисляет свои аргументы строго последовательно слева направо. В&nbsp;качестве результата возвращается результат работы последнего выражения.<br /> Пример: <br /> (begin (+ 1 2)<br /> <div class="indent"><div class="indent"> (+ 3 4))</div></div> сначала сложит <tt>1</tt> и&nbsp;<tt>2</tt>, потом сложит <tt>3</tt> и&nbsp;<tt>4</tt> и&nbsp;вернёт в&nbsp;качестве результата <tt>7</tt>.<a name="h5141-10"></a><h3>2.12 Вернёмся к&nbsp;alterator</h3> &ndash; поля ввода (<tt>edit</tt>)<br /> &ndash; метки (<tt>label</tt>)<br /> &ndash; галки (<tt>checkbox</tt>) <em>(не знаю как&nbsp;это сказать по-русски) &mdash; inger@</em><br /> При&nbsp;вводе чего-либо в&nbsp;<tt>edit</tt> метка получит текст &#8220;something changed&#8221;<br /> <tt>checkbox</tt> будет переключать режим отображения <tt>edit</tt> &ndash; нормальный и&nbsp;звездочками (как при&nbsp;вводе пароля).<br /> Раздадим имена виджетам:<br /> <ul><li> edit &ndash; editor </li><li> label &ndash; lbl&nbsp;</li><li> checkbox &ndash; setter.</li></ul> Если хотим узнать выставленна ли&nbsp;галочка у&nbsp;<tt>checkbox</tt> по&nbsp;имени <tt>setter</tt>, переформулируем эту&nbsp;фразу на&nbsp;языке alterator следующим образом: <tt>(setter checked)</tt><br /> В&nbsp;результате получаем или&nbsp;<tt>#t</tt> или&nbsp;<tt>#f</tt>.<br /> <div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent">(on-change (lbl text &#8220;something changed&#8221;))<br /> (on-return (lbl text &#8220;enter pressed&#8221;))))<br /> <div class="indent"><div class="indent">(on-click (if (setter checked)<br /> <div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent"><div class="indent">(editor echo stars)<br /> (editor echo yes)))))</div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><br /> <b>Удалено:</b><br /> <div class="deletions">Часть информации в&nbsp;ней будет касаться alterator которого пока ещё нет&nbsp;в&nbsp;Сизифе, но&nbsp;он скоро до&nbsp;него доберётся.<a name="h5141-1"></a><h2>2.10 Открываем капот.</h2> Может быть из&nbsp;академических соображений так&nbsp;поступать не&nbsp;стоит, однако иногда бывает проще рассказать про&nbsp;причину, чем&nbsp;про её следствия.<br /> Давайте разберёмся с&nbsp;тем как&nbsp;работает интерпретатор Схемы, благо знания нам&nbsp;уже это&nbsp;позволяют сделать. После этого всё, что&nbsp;было до&nbsp;сего момента неясно, уже&nbsp;станет очевидным.<br />  * прочитать очередное выражение<br />  * провести интерпретацию этого выражения<br /> Если мы&nbsp;находимся в&nbsp;командном интерпретаторе, то&nbsp;после последнего этапа ещё происходит печать получившегося выражения.<br /> Вот&nbsp;собственно и&nbsp;всё! Теперь разберёмся с&nbsp;каждым шагом. Как&nbsp;и&nbsp;многое другое процесс интерпретации разделён на&nbsp;несколько отдельных функций, что&nbsp;позволяет контролировать его&nbsp;с&nbsp;точностью до&nbsp;миллиметра, если это&nbsp;конечно надо.<a name="h5141-2"></a><h3>2.10.1 Чтение</h3> Прочитать выражение позволяет функция read. По-умолчанию, чтение происходит со&nbsp;стандартного ввода. Глядя на&nbsp;примеры выражений и&nbsp;любовь языка к&nbsp;списковым структурам в&nbsp;круглых скобках не&nbsp;сложно догадаться что&nbsp;мы&nbsp;получаем на&nbsp;выходе из&nbsp;read ... правильно именно списки и&nbsp;получаем ну&nbsp;или просто константы, если скобок не&nbsp;было.<br /> Первое &ndash; константа &ndash; число 3<br /> Второе &ndash; константа &ndash; строка &#8220;string&#8221;<br />   &mdash; символ '+' (вот они&nbsp;символы-то! не&nbsp;спроста они&nbsp;в&nbsp;языке существуют ;))<br />   &mdash; число 1<br />   &mdash; число 3<br />   &mdash; константа &ndash; символ some-func<br />   &mdash; константа &ndash; символ a<br />   &mdash; константа &ndash; логическая ложь.<br />   &mdash; ещё один список из: символа + и&nbsp;чисел 1 и&nbsp;3.<br /> Шестое &ndash; символ a.<a name="h5141-3"></a><h3>2.10.2 Исполнение</h3> Исполнить полученный список, можно с&nbsp;помощью функции eval, eval передаются два&nbsp;параметра: список и&nbsp;среда исполнения. Что-такое второй параметр не&nbsp;будем пока заморачиваться, а&nbsp;примем как&nbsp;данность.<br /> Исполнитель рекурсивно пробегается по&nbsp;всем вложенным спискам, большинство констант интерпретируются в&nbsp;них самих (строки в&nbsp;строки, числа в&nbsp;числа), а&nbsp;вот наткнувшись на&nbsp;символ, производится поиск соотв. переменной и&nbsp;в результате подставляется то&nbsp;на что&nbsp;она ссылается (Note: здесь описана так&nbsp;называемая подстановочная модель, она&nbsp;не&nbsp;точная зато, простая и&nbsp;понятная, то&nbsp;что происходит в&nbsp;реальном интерпретаторе гораздо сложнее, но&nbsp;суть остаётся примерно та&nbsp;же)<br /> После того как&nbsp;все переменные разобраны, то&nbsp;если в&nbsp;результате остаётся писок, то&nbsp;происходит запуск функции. Первый элемент списка &ndash; собственно <br /> указатель на&nbsp;саму функцию, например в&nbsp;одном из&nbsp;наших примеров &ndash; это&nbsp;стандартная функция string-append, а&nbsp;все оставшиеся &ndash; это&nbsp;аргументы функции.<br /> Вычисляем указанную функцию от&nbsp;данных аргументов (в том&nbsp;же&nbsp;примере &ndash; это&nbsp;две константные строки &#8220;str1&#8221; и&nbsp;&#8220;str2&#8221;) ... и&nbsp;получаем результат исполнения.<br /> 3 <s>&gt; собственно 3 и&nbsp;получим, никаких функций запускать не&nbsp;надо<br /> &#8220;string&#8221; --&gt; получим строку<br /> (+ 1 3) --&gt; выполним функцию сложения от&nbsp;аргументов 1 и&nbsp;3, результат &ndash; число 4.<br /> (string-append &#8220;str1&#8221; &#8220;str2&#8221;) &ndash; результат &ndash; строка &#8220;str1str2&#8221;<br /> (some-func a&nbsp;#t (+ 1 3)) &ndash; получим результат выполнения функцию от&nbsp;аргументов:<br />  </s> значение переменной a<br />  -- лочическая ложь<br />  -- результат сложения 1 и&nbsp;3, то&nbsp;есть аргумент равен 4.<br /> a&nbsp;--&gt; Значение переменной a<a name="h5141-4"></a><h3>2.10.3 Вывод результата на&nbsp;экран</h3> Для&nbsp;вывода результата на&nbsp;экран есть множество функций, самая интересная из&nbsp;них это, пожалуй, write.<br /> Если в&nbsp;результате вы&nbsp;получили простую структуру, соcтоящую из&nbsp;списков, возможно вложенных и&nbsp;каких-либо констант(строк, чисел, символов), то&nbsp;write<br /> напечатает их&nbsp;в таком виде, что&nbsp;потом read может их&nbsp;обратно съесть.<br /> 7 напечатается как&nbsp;7<br /> &#8220;str&#8221; напечатается как&nbsp;&#8220;str&#8221;<br /> Списки опять напечатаются как&nbsp;знакомые выражения, окруженные скобками, например список из&nbsp;1 2 и&nbsp;3 будет напечатан как&nbsp;(1 2 3)<a name="h5141-5"></a><h3>2.10.4</h3> Ну&nbsp;а теперь повторим пройдённое. Помните про&nbsp;функцию quote, которая позволяла заполучить символы? quote просто напросто говорит интерпретатору, что&nbsp;не&nbsp;надо исполнять eval после read.<br /> Поэтому 'a &ndash; это&nbsp;просто символ a<br /> '(1 2 3) &ndash; это&nbsp;список из&nbsp;1 2 3<a name="h5141-6"></a><h2>2.11 Особые формы</h2> В&nbsp;отдельных случаях хочется заранее знать как&nbsp;и&nbsp;когда будут аргументы вычислены. Поскольку эти&nbsp;&laquo;функции&raquo; такие особые, то&nbsp;и называются они&nbsp;&laquo;особые формы&raquo;, вот&nbsp;основные, которые нам&nbsp;потребуются при&nbsp;работе с&nbsp;alterator.<a name="h5141-7"></a><h3>2.11.1 Условные выражения</h3> (if условие команда-если-истина команда-если-ложь)<br /> Сначала вычисляется условие, если оно&nbsp;истинно (то есть не&nbsp;#f), то&nbsp;вычисляется &laquo;команда-если-истина&raquo;, иначе вычисляется &laquo;команда-если-ложь&raquo;.<br /> Например (if #f 3 4) &ndash; вернёт 4<br />          (if (+ 1 3) 5 6) &ndash; вернёт 5, поскольку результат (+ 1 3), то&nbsp;есть<br />          4 &laquo;не ложь&raquo;.<br />          (if (string=? &#8220;aaa&#8221; &#8220;bbb&#8221;) 3 5) &ndash; вернёт 5 ибо&nbsp;строки не&nbsp;равны<br />          (if (number? 5) &#8220;number&#8221; &#8220;not number&#8221;) &ndash; вернёт строку &#8220;number&#8221;<br />          ибо&nbsp;5 действительно число, а&nbsp;не что&nbsp;другое ;)<br />          (if #f 3) &ndash; поскольку &laquo;команда-если-ложь&raquo; отсутствует, то&nbsp;if<br />          вернёт некоторое волшебную сущность, которую иногда называют<br />          unspecific, иногда unspecified  в общем &laquo;то не&nbsp;знаю что&raquo;.<a name="h5141-8"></a><h3>2.11.2 Множественное ветвление</h3> Если в&nbsp;данной точке программы надо исследовать множество различных вариантов, то&nbsp;используйте cond<br /> Формат: (cond вариант1 вариант2 ... )<br /> вариант &ndash; оформляется в&nbsp;виде (тест выражение1 выражение2 ... )<br /> есть ещё специальный вариант (else выражение1 выражение2 ... ) который применяется если никакой другой вариант не&nbsp;прошёл. else может остуствовать, и&nbsp;должен быть всегда последним вариантом в&nbsp;случае присутствия.<br />   (cond<br />     ((string? x) &laquo;строка&raquo;)<br />     ((number? x) &laquo;число&raquo;)<br />     ((symbol? x) &laquo;символ&raquo;)<br />     (else &laquo;не знаю что&nbsp;такое&raquo;)))<a name="h5141-9"></a><h2>2.11.3 последовательное исполнение</h2> Иногда в&nbsp;if допустима только одна команда на&nbsp;условие истины и&nbsp;одна на&nbsp;условие лжи. А&nbsp;что делать если хочется исполнить сразу много команд в&nbsp;случае некоторого условия? Иногда можно конечно обойтись имеющимися средствами, но&nbsp;гораздо проще воспользоваться особой формой begin, которая вычисляет свои аргументы строго последовательно слева направо. В&nbsp;качестве результата возвращается результат работы последнего выражения.<br /> Пример: (begin (+ 1 2)<br />                (+ 3 4))<br /> Сначала сложит 1 и&nbsp;2, потом сложит 3 и&nbsp;4 и&nbsp;вернёт в&nbsp;качестве результата 7.<a name="h5141-10"></a><h2>2.12 Вернёмся к&nbsp;alterator</h2>  - поля ввода (edit)<br />  - метки (label)<br />  - checkbox (не знаю как&nbsp;это сказать по-русски)<br /> При&nbsp;вводе чего-либо в&nbsp;edit метка получит текст &#8220;something changed&#8221;<br /> checkbox будет переключать режим отображения edit &ndash; нормальный и&nbsp;звездочками (как при&nbsp;вводе пароля).<br /> Раздадим имена виджетам: edit &ndash; editor<br />                          label &ndash; lbl<br />                          checkbox &ndash; setter.<br /> Если хотим узнать выставленна ли&nbsp;галочка у&nbsp;checkbox по&nbsp;именни setter, переформулируем эту&nbsp;фразу на&nbsp;языке alterator следующим образом: (setter checked)<br /> В&nbsp;результате получаем или&nbsp;#t или&nbsp;#f.<br />                   (on-change (lbl text &#8220;something changed&#8221;))<br />                   (on-return (lbl text &#8220;enter pressed&#8221;))))<br />                       (on-click (if (setter checked)<br />                                   (editor echo stars)<br />                                   (editor echo yes)))))</div></div>