6.4. Типы

6.4.1. Типы без конструкторов
6.4.2. Контексты типов данных
6.4.3. Инфиксные конструкторы типов, классы и переменные типов
6.4.4. Операторы типов
6.4.5. Либерализованные синонимы типов
6.4.6. Существовательно квантифицированные конструкторы данных
6.4.7. Объявление типов данных со явными сигнатурами конструкторов
6.4.8. Обобщённые алгебраические типы данных (GADTs)
6.4.9. Семейства типов
6.4.10. Продвижение типов данных
6.4.11. Уникальный синтаксис для списков и кортежей на уровне типов
6.4.12. Объявления данных на уровне типов
6.4.13. Полиморфизм порядков
6.4.14. Полиморфизм представлений
6.4.15. Литералы на уровне типов
6.4.16. Видимое применение типов
6.4.17. Абстракции типов
6.4.18. Требуемые аргументы типов
6.4.19. Полиморфизм произвольного ранга
6.4.20. Импредикативный полиморфизм
6.4.21. Линейные типы
6.4.22. Пользовательские ошибки компиляции
6.4.23. Отсрочка ошибок типов до времени выполнения
6.4.24. Роли

© 2002–2007 The University Court of the University of Glasgow. All rights reserved.
Licensed under the Glasgow Haskell Compiler License.
https://downloads.haskell.org/~ghc/9.12.1/docs/users_guide/exts/types.html