|
 |
Авторизация |
|
 |
Поиск по указателям |
|
 |
|
 |
|
 |
 |
|
 |
|
Филд А., Харрисон П. — Функциональное программирование |
|
 |
Предметный указатель |
-машина 415
-машина, генератор кода 422
-машина, генерация кода 422
EQ/eq 123
Eta-редукция 125
Eval/Apply-интерпретатор 208
F-код 389
FALSE/false 125
FP 103
FP-алгебра 503 507
FUNARQ 214
I-комбинатор 292
INDEX/index 124
LAMBDA 57 91 99
LAMBDA-абстракция 212
LAMBDA-вершина 260
LAMBDA-исчисление 118 121
LAMBDA-исчисление де Брейна 149
LAMBDA-общее 341
LAMBDA-связанная переменная 156
LAMBDA-удаление 327 363 390
LAMBDA-чистое 145
LET-связанная переменная 155
LETREC 417
letrec/whererec 58
Miranda 89
Miranda, where 92
Miranda, абстракция списков 94
Miranda, арифметическая последовательность 91
Miranda, включение списков 94
Miranda, переменная типа 95
Miranda, список 91
NIL/nil 125
NULL/null 125
SECD-машина 230
SECD-машина ленивая 240
SECD-машина энергичная 231
SECD-машина, взаимосвязь с КАМ 348 353
SECD-машина, доказательство корректности реализации 247
SECD-машина, обработка условных выражений 238
SECD-машина, семантика 248
SECD-машина, состояние машины 231
SECD-машина, управляемая данными 229
SECD-машина, управляемая запросами 229
SECD-машина, функция переходов 233
TL/tl 125
Treesort 41 67
TRUE/true 125
TUPLE-n/tuple-n 125
Абстрагирование 305
Абстрагирование от переменных 504
Абстрагирование при лямбда-поднятии 326
Абстрактная интерпретация 473
Абстрактная машина 387
Абстрактная полнота 573
Абстрактное доказательство надежности 572
Абстрактное правило знаков 562
Абстрактное синтаксическое дерево 181
Абстрактный анализ строгости 565
Абстрактный домен 562 566
Абстрактный тип данных 474
Авторекурсивная функция 42
Аксиомы 161
Активная ячейка 440
Алфавитная эквивалентность 125 133
Анализ сложности 577
Анализ функционального уровня 477 503
Аннотация 472 474 561
Аппликативное выражение 292
Аппликативный язык программирования 9
Аппроксимация Ньютона — Рафсона 76
Аргумент 14
Ассоциативность (функции Join) 25
Базовый тип 154
Бесконечная структура 74
Бета-абстракция 135
Бета-редукция 125
Ведущий адрес 446
Вершина 46
Вершина в редуцируемом графе 258
Вершина копирования 364
Вершина применения в потоковом графе 366
Вершина примитивной функции в ПГ 365
Вершина-синоним 274
Взаимная рекурсия 142 174
Взаимно рекурсивные функции, проверка типов 174
Взаимодействие ведущего и возвращающего указателей 459
Взвешенный счетчик ссылок 467
Вид рекурсии 27
Встроенная (примитивная) функция 16
Входные инструкции 375
Вызов по значению 71
Вызов по текстовой замене 139
Вычисление 119 238
Вычисление лямбда-выражений 123
Вычисление, основанное на контексте 228
Генерация кода 386
Генерация кода для МФП 403
Гребень графа 263
Гребень графа, доступ при редукции графа 277
Дамп с присваиванием 241
Декартова категория 345 346
Дельта-правило 124
Денотационная семантика 593
Дерево 45
Дерево двоичное 46
Дерево сопоставления 187
Динамическое связывание 61
Доказательство 154
Домен области определения функции 11 586
Домен плоский 11
Домен теория 586
Завершение 72
Завершение сопоставления образцов 201
Зависимость по данным 362
Завязывание узлов 81
Заголовочная нормальная форма (ЗНФ) 136
Задержка 218
Заключение в скобки аргументов 18
Заключение в скобки применений 91 123
Законченный частичный порядок 587
Запоминание для циклических структур 544
Запоминание как преобразование исходного текста 554
Знак вычеркивания 378
Идентификатор 210
Идентификатор, трансляция 183
Изменение на месте 577
Императивный язык 8
Интерпретация 207
Интерпретация let-выражений 213
Интерпретация letrec-выражений 215
Интерпретация абстракций 213
Интерпретация базовых величин 211
Интерпретация идентификаторов 212
Интерпретация применений 211 224 225
Интерпретация примитивных функций 212
Инфиксная функция/оператор 22 29
Истинностная величина 26
К-комбинатор 292
Каноническое лямбда-исчисление 149
Карринг 91 123
Карринг в декартовой замкнутой категории 347
Категорийная абстрактная машина (КАМ) 149
Категорийная комбинаторная логика (ККЛ) 326
Категорийный комбинатор 346
Категория 344
Квалификатор 31
Квалифицированное выражение 31 212
Квалифицированное выражение, трансляция 194
Квалифицирующее выражение 31
| Код сопоставления 187
Кодомен 12 346
Комбинатор 291
Комбинатор 306
Комбинатор 306
Комбинатор 305
Комбинатор 240
Комбинатор B 296
Комбинатор C 296
Комбинатор I 292
Комбинатор K 292
Комбинатор S 292
Комбинатор U 306
Комбинатор W 322
Комбинатор Y 141 144 239
Комбинатор категорийный 346
Комбинатор, создаваемый лямбда-удалением 327
Комбинаторная логика 292
Комбинирующая форма 107
Компиляция 386
Компиляция G-машины 423
Компиляция МФП-схемы 405
Композитор 297
Композиция 14 108 345
Композиция функционалов 510
Константа 108 392
Константа данных 34
Константная аппликативная форма (КАФ) 325
Конструктор данных 34
Конструктор хэширования 548
Конструкция 108
Контекст 138
Копирование лямбда-тел 126 267
Копирование потоковых конструкций 376
Кортеж 23 143
Кортеж, вершины графа представления 261
Кортеж, проверка типов 172
Кортеж, трансляция 185
Кортежирование 142
Куча 399 438
Ленивое вычисление 71 130 141
Ленивый гребень графа 263
Ленивый конструктор 85 140
Ленивый сборщик мусора 465
Линеаризация 525
Линеаризация функции 525 534
Лисп 95
Лисп, IF 98
Лисп, LAMBDA 99
Лисп, LETREC 98
Лисп, QUOTE 98
Лисп, атом 95
Лисп, лист 95
Литерал в образцах 41 200
Литерал в образцах лтрансляция 184
Локальный контекст 392
Макроинструкции G-машины 419
Максимальная циклическая структура 464
Максимальное свободное выражение 332
Мемо-таблица 476 540
Мемо-таблица локальная 549
Мемо-таблица, автоматическая генерация 552
Мемо-таблица, контроль размера 549—557
Мемо-таблица, просмотр аргументов 542
Мемо-таблица, сборка мусора 557
Мемо-функция 476 505
Мемо-функция ленивая 544—549
Мемо-функция полная 543 547
Метациклический интерпретатор 226
Механизм вызова 138
Минимальное свободное выражение 332
Мономорфный тип 156
Монотип 155
Мусор 266
Мусорная ячейка 441
МФП, архитектура абстрактной машины 396
МФП, генератор кода 402
МФП, индексные карты 406
МФП, ленивая версия 414
МФП, оптимизация авторекурсии 413
МФП, структура ядра 413
МФП, форматы кучи 400
МФП-система 389
Набор допущений 161
Набор допущений инструкций языка SIMPLE 403
Наивысший общий генератор 552
Наименьшая фиксированная точка 141
Накапливание параметров 40
Накапливающий параметр 39
Направленный ациклический граф (НАГ) 258
Направленный граф 53 257
Невидимый указатель 446
Неопределенная функция 13
Неперекрывающиеся образцы 186 195
Неперекрывающиеся образцы, трансляция 186
Неродовые переменные типа 191
Несогласованная пара 165
Номер уровня 336
Нормальная форма 122 128
Нормальная форма, единственность 133
Нормальный порядок рекурсии (НПР) 129 140
Ню-абстракция 173
Область значений функции 11
Область определения функции 11
Образец 38
Образец в лямбда-выражениях 58
Общее лямбда-удаление 341
Одношаговая редукция 131
Операционная семантика 119 226
Операция формирования программы 107
Оптимизирующий компилятор 473
Организация памяти 441
Отношение 528
Отношение PRED/pred 125
Отношение PROLOG 88
Параллельная машина 287 382 474 475
Параллельная редукция графов 287
Параллельный сборщик мусора 443
Параметр 13
Перекрывающиеся образцы 38
Переменная лямбда-связанная 159
Переменная свободная 132
Переменная связанная 132
Перестановщик 297
Побочная вершина 274
Побочные эффекты 17
Поверхностный тип 17
Подпространство 445
Подстановка 132
Подсчет скобок 332
Подчеркивание (_) в образцах 41 187 193
Подъем по гребню графа 279
Полиморфный тип 35 38
Политип 154
Полная ленивость 287 327 332 333
Полная функция 13
Полнота 575
Помеченное выражение 238
Порядок вычислений 71
Порядок редукций 128
Поток 359
Поток, управляемый данными 360
Поток, управляемый запросами 377
Потоковый граф (ПГ) 360
Правила знаков 563
Правила переписывания 38
Правила преобразования при редукции графов 370
Правила редукции комбинаторов 293
Правильно обоснованная индукция 12
Правильно определенная функция 12
|
|
 |
Реклама |
 |
|
|