Проект:Словники/Информатика/Введение в теорию языков программирования
Термины теории языков программирования из:
Довек Жиль, Леви Жан-Жак. Введение в теорию языков программирования. — М.: ДМК Пресс, 2013. — 134 с. — ISBN 9785940749134.
- α-эквивалентность
- β-редукция
- System F
- System T
- абстрактная машина
- алгоритм Дамаса — Милнера
- алгоритм унификации Робинсона (уточнено вручную)
- алгоритм Хиндли
- алгоритм Хиндли с немедленным разрешением (добавлено вручную)
- алфавитная эквивалентность
- арность
- вывод
- вызов по значению
- вызов по имени
- высота
- вычисление
- вычислитель
- деревья
- детерминированность
- задумка
- замкнутое множество
- замыкание
- рекурсивное замыкание
- запись
- запись с вызовом по значению
- запись с вызовом по имени
- значение
- оснащённое значение
- рациональное значение
- индекс де Брёйна (исправлено вручную)
- интерпретатор
- количество аргументов
- компилятор
- раскрутка компилятора
- композиция
- константа
- массив
- метка
- метод
- динамический метод
- статический метод
- модуль
- неподвижная точка Карри
- построение функций с помощью неподвижных точек
- непрерывная функция
- нумералы Чёрча
- нумералы позиционные
- объект
- окружение
- семантическое окружение
- типовое окружение
- индуктивное определение
- явное определение
- пары
- переименование
- переменная
- захват переменной
- изменяемая переменная
- окружение переменных
- побочный эффект
- подстановка
- полиморфизм
- полнота
- поля
- порядок Скотта
- сильно полный порядок
- слабо полный порядок
- правило
- предел
- редукция
- редукция ленивая
- редукция с вызовом по значению
- редукция с вызовом по имени
- слабая редукция
- редукция субъекта
- результат
- решение
- главное решение
- динамическое связывание
- позднее связывание
- статическое связывание
- семантика
- денотационная семантика
- операционная семантика
- операционная семантика с большим шагом
- операционная семантика с малым шагом
- слияние
- сорт
- сохранение типа при
- интерпретации
- списки
- ссылка
- стратегия
- терм
- замкнутый терм
- нередуцируемый терм
- тупиковый терм
- тип
- вывод типов
- главный тип
- проверка типов
- схема типа
- унификация
- язык