apply-rules 406

argl, регистр 470

articles 360

assemble 447, 447п

assert! (интерпретатор запросов)

394

assign (в регистровой машине) 424 имитация 450

сохранение метки в регистре 430 assign-reg-name 450 assign-value-exp 450 assignment-value 316 assignment-variable 316 assignment? 316 assoc 231

atan (элементарная процедура) 150п attach-tag 151

использование типов Scheme 166

(упр. 2.78) augend 126, 128

average 19 average-damp 61 averager (ограничение) 254

(упр. 3.33)

B-деревья [B-trees] 136п Basic (Бейсик)

бедность средств работы с

составными объектами 255п

ограничения на составные данные

84п

begin-actions 317

begin? 317

below 109, 120 (упр. 2.51)

beside 109, 120

branch (в регистровой машине) 423

имитация 451 branch-dest 451

C (Си)

интерпретатор Scheme, написанный

на Си 524 (упр. 5.51), 524

(упр. 5.52)

компиляция процедур Scheme в команды Си 524 (упр. 5.52) обработка ошибок 485п, 522п ограничения на составные данные

84п

рекурсивные процедуры 29 cadr 85п

ca...r 85п call-each 241

car (элементарная процедура) 72 как операция над списком 85 описывающая аксиома 77 происхождение имени 72п процедурная реализация 78, 78

(упр. 2.4), 225, 350 реализация с мутаторами 224 реализация через векторы 461 свойство замыкания 83

cd...r 85п

cdr (элементарная процедура) 72 как операция над списком 85 описывающая аксиома 77 происхождение имени 72п процедурная реализация 78, 78

(упр. 2.4), 225, 350

реализация с мутаторами 224 реализация через векторы 461 celsius-fahrenheit-converter

248

в формате выражения 255

(упр. 3.37)

center 81 cesaro-stream 303 cesaro-test 195

coeff 176, 179

Common Lisp 3п

трактовка nil 86п compile 489

compile-and-go 518, 520 compile-and-run 523 (упр. 5.48) compile-application 499 compile-assignment 494 compile-definition 494 compile-if 496 compile-lambda 497 compile-linkage 493 compile-proc-appl 503 compile-procedure-call 501 compile-quoted 494 compile-self-evaluating 493 compile-sequence 496 compile-variable 494 compiled-apply 519 compiled-procedure 497п compiled-procedure-entry 497п compiled-procedure-env 497п

complex, пакет 164 complex->complex 172 (упр. 2.81) compound-apply 475 compound-procedure? 323 cond (особая форма) 14 vs. if 16п

вариант синтаксиса ветвей 320

(упр. 4.5)

ветвь 15 вычисление 15

неявный begin в следствиях 190п

cond->if 319

cond-actions 319 cond-clauses 319 cond-else-clause? 319 cond-predicate 319

cond? 319

conjoin 402

connect 249, 254

Conniver (Коннивер) 356п

cons (элементарная процедура) 72 как операция над списком 85 описывающие аксиомы 77 происхождение имени 72п процедурная реализация 77, 78

(упр. 2.4), 220, 224, 350 реализация с мутаторами 224 реализация через векторы 461

cons-stream (особая форма) 274,

275

и ленивые вычисления 349

почему особая форма 276п const (в регистровой машине) 424

имитация 453

синтаксис 440 constant (элементарное

ограничение) 251 constant-exp-value 453 constant-exp? 453 construct-arglist 500 contents 151

использование типов Scheme 166

(упр. 2.78)

continue, регистр 430

в вычислителе с явным управлением 470

и рекурсия 436 corner-split 113 cos (элементарная процедура) 58

count-change 34 count-leaves 91, 93

как накопление 102 (упр. 2.35) как регистровая машина 463

(упр. 5.21)

count-pairs 223 (упр. 3.16)

cube 37 (упр. 1.15), 47, 63

cube-root 62 current-time 242, 244

decode 143

deep-reverse 93 (упр. 2.27) define (особая форма) 7 vs. lambda 53

внутренняя см. внутренние

определения для процедур 10, 53 значение выражения 7п модель с окружениями 207 почему особая форма 9 синтаксический сахар 316 точечная запись 88 (упр. 2.20)

define-variable! 323, 325

definition-value 316 definition-variable 316 definition? 316 delay (особая форма) 275

и ленивые вычисления 349

мемоизированная 278, 285

(упр. 3.57)

почему особая форма 276п реализация с помощью lambda 278 явная 298

явная vs. автоматическая 351

delay-it 346 delete-queue! 226, 228

denom 71, 73

описывающая аксиома 77 с приведением к наименьшему знаменателю 75 deposit (сообщение для

банковского счета) 192 deposit, с внешним сериализатором

266

deriv (символическая) 126 управляемая данными 158

(упр. 2.73)

deriv (численная) 62 disjoin 402

display (элементарная процедура)

45 (упр. 1.22), 73п

display-line 275 display-stream 275 distinct? 358п div (обобщенная) 162 div-complex 149 div-interval 80 деление на ноль 80 (упр. 2.10)

div-poly 180 (упр. 2.91)

div-rat 71

div-series 286 (упр. 3.62) div-terms 180 (упр. 2.91) divides? 42 divisible? 280 DOS/Windows 485п dot-product 103 (упр. 2.37) draw-line 117 driver-loop

для ленивого интерпретатора 345

для метациклического интерпретатора 327

для недетерминистского интерпретатора 372

e

как решение дифференциального уравнения 298

как цепная дробь 60 (упр. 1.38) ex, степенной ряд 285 (упр. 3.59) edgel-frame 116 edge2-frame 116

EIEIO 271п

element-of-set? 130

представление в виде бинарных

деревьев 135 представление в виде

неупорядоченных списков 131 представление в виде

упорядоченных списков 132 else (особый символ в cond) 15 empty-agenda? 242, 245 empty-arglist 473п empty-instruction-sequence

492

empty-queue? 226, 227 empty-termlist? 176, 179 enclosing-environment 323 encode 144 (упр. 2.68)

end-segment 76 (упр. 2.2), 118

(упр. 2.48)

end-with-linkage 493 entry 135

enumerate-interval 99 enumerate-tree 99 env, регистр 470

eq? (элементарная процедура) 124 для произвольных объектов 223 и равенство чисел 460п как равенство указателей 223, 460 реализация для символов 460

equ? (обобщенный предикат) 166

(упр. 2.79)

equal-rat? 71

equal? 124 (упр. 2.54)

error (элементарная процедура) 57п estimate-integral 197 (упр. 3.5) estimate-pi 195 euler-transform 288 ev-application 473 ev-assignment 479 ev-begin 476 ev-definition 480

ev-if 479

ev-lambda 471 ev-quoted 471 ev-self-eval 471 ev-sequence

без хвостовой рекурсии 478 с хвостовой рекурсией 477

ev-variable 471

eval (ленивая) 344

eval (метациклическая) 311, 312 vs. элементарная eval 331п анализирующий вариант 337 управляемая данными 320

(упр. 4.3)

eval (элементарная процедура) 331

MIT Scheme 331п

в интерпретаторе запросов 403 eval-assignment 314 eval-definition 315 eval-dispatch 471 eval-if (ленивая) 345 eval-if (метациклическая) 314 eval-sequence 314

even-fibs 96, 99 even? 38