Мы так привыкли к типам, что редко задаёмся вопросом, что же они такое на самом деле? А главное - почему возникла необходимость в их использовании? Этот поверхностный обзор сделан для того, чтобы продемонстрировать, как типы и другие связанные абстракции являются следствием из обобщения условий различных задач.
Пользователь
Обобщённые типы. Часть 2/3. Классы типов и контейнеры
Средний
38 мин
2.2KОбзор
Это вторая часть обзора обобщённых типов, в которой мы расскажем о классах типов и типах-контейнерах.
+7
Обобщённые типы. Часть 1/3. Полиморфные типы высокого рода
Средний
37 мин
6KОбзор
В предыдущей статье раскрывались некоторые базовые понятия теории типов. В этот раз мы рассмотрим обобщённые типы (generics) – необходимость появления такой абстракции, ключевые особенности и различные сценарии использования в программировании.
+18
Обобщённые типы. Часть 3/3. Применение контейнерных типов
Сложный
46 мин
2.8KОбзор
В последней третьей части обзора продемонстрировано, как на основе обобщённых типов-контейнеров реализуются различные ФП-техники “чистого” построения “эффективных” программ. В заключении будет отмечена роль теории категорий в обосновании важности абстракций, построенных над обобщёнными типами.
+7
Информация
- В рейтинге
- 1 923-й
- Зарегистрирован
- Активность