В сообщении от Wednesday 04 of December 2013 16:19:23 Dmitrii написал: > Dmitrii Kashin <freehck@freehck.ru> writes: > > Я не утверждал, что все реализации if устроены таким образом. Хотя я, > > пожалуй, возьмусь утверждать, что реализация конструкции if как > > особой формы языка характерна для всех интерпретаторов, реализующих > > нормальный порядок вычислений. > > Ох! Я открыл SICP, перечитал определения, и внезапно осознал, что > вычисление аргументов с последующей передачей их в процедуру - это > аппликативный порядок, а нормальный порядок подразумевает именно что > подстановку с последующей редукцией... Всё перепутал. =( > > Господа, есть у меня в связи с этим такой вопрос. Я прочитал SICP этим > летом, но мне совершенно не с кем было обсудить эту замечательную > книгу, чтобы избежать ошибок и неточностей, подобных той, что только > что произошла. После прочтения у меня, помнится, осталось много > вопросов, кои я могу легко найти, ибо книжка у меня исчёркана > карандашом вдоль и поперек. > > Скажите, есть ли в данной рассылке народ, знакомый с этой книгой, и к > кому я мог бы обратиться за беседой, скажем, к концу декабря? И я был бы рад почитать ваши вопросы и побеседовать на эту тему. -- WBR, Boris.
Attachment:
signature.asc
Description: This is a digitally signed message part.