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. Объявление типов данных с явными сигнатурами конструкторов
6.4.9. Обобщённые алгебраические типы данных (GADT)
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. Перенос ошибок типов на время выполнения
6.4.25. Роли

© 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.14.1/docs/users_guide/exts/types.html