Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Филд А., Харрисон П. — Функциональное программирование
Филд А., Харрисон П. — Функциональное программирование

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Функциональное программирование

Авторы: Филд А., Харрисон П.

Аннотация:

В книге английских специалистов рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. При этом спецификация предметной области существенно упрощает труд программиста. Особое внимание уделяется вопросам реализации функциональных языков, основанных на лямбда-исчислении Черча. В качестве базового языка рассматривается функциональный язык Норе, имеющий простой и ясный синтаксис. Изложение сопровождается многочисленными примерами конкретных программ.
Для программистов как начинающих, так и профессионалов, а также специалистов в области информатики.


Язык: ru

Рубрика: Computer science/Языки программирования/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1993

Количество страниц: 640

Добавлена в каталог: 13.05.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Правильно типизированное выражение      164
Правильный тип      164
Предикатный преобразователь      511
Предыстория вычислений      17
Преобразование      473
Преобразование алгебраическое      502
Преобразование передачей продолжений      531
Преобразование программы      473
Преобразование типов данных      490
Преобразование, дополнительные правила      483 493 495 499
Преобразование, мета-язык      480 489 531
Преобразование, методология      479
Преобразование, основные правила      482
Преобразование, раскрутка/скрутка      481
Преобразование, тактика      485 531
Преобразование, частичная корректность      486
Префиксная нотация      29
Префиксная функция      22
Применение      14 210 346 393
Применение в декартовой замкнутой категории      347
Применить ко всем      108
Примитивная функция      22 210
Примитивы      14
Приоритет операторов      30
Присваивание      18
Проблема свободных переменных в редукции графов      284
Проверка вхождения      166
Продолжение      530
Проектор      274
Проекция      346
Прозрачность по ссылкам      17
Произведение      345
Промежуточный FC-код      391
Промежуточный код      181 208
Процесс пользователя      442
Разделение      138
Разделение в интерпретаторе      224
Разделение в редукции графов      258 260
Разделение предложения на лексемы      42
Разделяемая совокупность потоковых инструкций      377
Размер структурного элемента      316
Разрушающее присваивание      18 244
Реализация линейной функции с помощью циклов      516 539
Реализация, основанная на контексте      117
Реверсирование указателя      278
Редекс      127 263
Редекс самый внешний      129
Редекс самый внутренний      129
Редекс самый левый      129
Редекс самый правый      129
Редукция      125
Редукция $\beta$      126
Редукция $\delta$      125
Редукция $\nu$      136
Редукция апнликативного порядка      129 140
Редукция графов      138 256 288
Редукция комбинаторных выражений      300
Редукция параллельная      287
Редукция при применении примитивной функции      270
Редукция строк      137
Результат/квалификатор      31
Рекуррентное соотношение      28
Рекурсивное let/where      213
Рекурсия      27
Рекурсия в SECD-машине      239
Рекурсия в лямбда-исчислении      141
Рекурсия в редукции графов      307
Рефлексивное транзитивное замыкание      130
Рецепт      218
Решение проблемы перекрывающихся образцов      195 203
Решето Эратосфена      76
Родовой тип      35
Родовой тип, переменная      159
Ромбическое свойство      130
Самоприменение      176
Самый левый из самых внутренних/ самых внешних      129 140
Сборка мусора      437
Сборка мусора Морриса      456
Сборка мусора по алгоритму Бейкера      449
Сборка мусора с подсчетом ссылок      226
Сборщик мусора      266
Сборщик мусора копирующий      444
Сборщик мусора реального времени      443
Сборщик мусора сканирующий      442
Свободная переменная      132
Свободная ячейка      439
Свободное выражение      331
Свободный список      439
Связанная переменная      132
Связанное вхождение      132
Связывание      33 62 103
Связывающий код      187
Связывающий код, генерация      193
Семантика      593
Семантика SECD-машины      248
Семантика аксиоматическая      593
Семантика денотационная      593
Семантика лямбда-исчисления      594
Семантика операционная      593
Семантическая функция      573
Семантический домен      594
Сети процессов      80
Символьное S-выражение      96
Синтаксический разбор      181
Сканирующая сборка мусора      443
Слабая заголовочная нормальная форма (СЗНФ)      135
Слабая категориальная комбинаторная логика (СККЛ)      351
Слабое ромбическое свойство      133
Слияние деревьев сопоставления      199
Слово состояния      441
Совмещение      126 165 266
Сопоставление с образцом      3 601
Сопоставление с образцом, семантика      601
Сопоставление с образцом, трансляция      186
Составные данные      35
Составные данные, вершина графа      261
Сохранение аппликативного выражения      298
Специализация образцов      196
Список      34
Список источников      378
Спуск по гребню графа      263
Статическое связывание      61
Стек      231 278 374 398
Стек, дампа SECD-машины      230
Строгая типизация      19 90
Строгость      72
Строгость, анализ      565
Строка направляющих      317
Структурная индукция      46
Структурный элемент      316
Сумма объединенная      591
Сумма разъединенная      590
Суперкомбинатор      287 326 331
Суперкомбинатор улучшенный      341 344
Суръективное спаривание      347
Суръективный карринг      348
Счетчик ссылок      464
Таблица входов      454
Тело лямбда-абстракции      123
Тело функции      22
Теорема композиции функционалов      513
Теорема о линейном расширении      505 512—513
Теорема стандартизации      130
Теорема Черча — Рассера      130
Теорема эквивалентности      249
Тип      21 155
Тип данных, определяемых пользователем      33 95
Тип неповерхностный      161
Тип поверхностный      161
Тип полиморфный      35
Типа вывод      160
Типа неродовая переменная      159
Типа переменная      36 155
Типа проверка      154
Типа родовая переменная      159
Типа свободная переменная      161
Типа связанная квантором переменная      161
Типизированное лямбда-исчисление      576
Трансляция применения      185
Улучшенный суперкомбинатор      341 344
Уплотняющий сборщик мусора      445
Упорядоченное двоичное дерево      42
Управляющий стек (в SECD-машине)      232
Уравнение      38
Условное выражение      108 393
Условный оператор      23
Условный оператор в SECD-машине      238
Условный оператор, интерпретация      218
Условный оператор, трансляция      185
Фактический параметр      13
Фиксированная точка      141
Фиксированная точка наименьшая      141
Фиксированная точка, комбинатор      142 292
Форма функционала      510
Формальный параметр      13 123 126
Форсированная скрутка      485
Форсированное вычисление      222
Фрейм стека      278
Функционал      343 509
Функционал билинейный      526
Функционал линейный      512
Функционал мультилинейный      526
Функционал простой линейный      526
Функционал, теорема композиции      513
Функциональная алгебра      477
Функциональная форма      107
Функциональная экстенсиальность      133
Функциональное пространство      346
Функциональность      17
Функциональный язык      9
Функция      12
Функция abs      294
Функция Apply      209 216
Функция char      26
Функция data      35
Функция dec      21
Функция Eval      209 211
Функция if...then...else      23
Функция infix      30
Функция lambda      57 123
Функция let/where      32
Функция list      36
Функция map      57
Функция num      21
Функция reduce      60
Функция truval      26
Функция type      37
Функция typevar      36
Функция авторекурсивная      39 412 516
Функция выражение типа      21
Функция высшего порядка      55 92 102 128
Функция детерминированная      12
Функция инъекции      598
Функция итерационная      516
Функция конкатенация списков      38
Функция конструирующая      34
Функция кортеж      23
Функция линейная      474 503 510—525
Функция Норе      19
Функция объявление типа      21
Функция первого порядка      55
Функция проекции      273
Функция удаления lift      328
Функция, приоритет оператора      30
Циклическая структура данных      78
Циклический граф      268
Частичная функция      13
Частичное применение      92 327
Числовое S-выражение      96 391
Чистое лямбда-исчисление      145
Эвристические шаги      485
Эквивалентность образцов      40 183 189
Экспоненциал      346
Экстенсиональность      136 297
Энергичное вычисление      71 130 140
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2018
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте