Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Введение в теорию языков программирования
Глава 6. Вывод типов
Поставить закладку
6.1. Вывод мономорфных типов
6.1.1. Присвоение типов нетипизированным термам
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
От переводчиков
Что называют теорией языков программирования?
Благодарности
Глава 1. Термы и отношения
+
Глава 2. Язык PCF
+
Глава 3. От вычисления к интерпретации
+
Глава 4. Компиляция
+
Глава 5. PCF с типами
+
Глава 6. Вывод типов
-
6.1. Вывод мономорфных типов
6.1.1. Присвоение типов нетипизированным термам
6.1.2. Алгоритм Хиндли
6.1.3. Алгоритм Хиндли с немедленным разрешением
6.2. Полиморфизм
6.2.1. PCF с полиморфными типами
6.2.2. Алгоритм Дамаса-Милнера
Глава 7. Ссылки и присваивание
+
Глава 8. Записи и объекты
+
Послесловие
Библиография
Предметный указатель
Данный блок поддерживает скрол*