Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Введение в теорию языков программирования
Глава 6. Вывод типов
Предыдущая страница
Следующая страница
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. Записи и объекты
+
Послесловие
Библиография
Предметный указатель
Данный блок поддерживает скрол*