Программируй & типизируй, Ришкуция В., 2021

Программируй & типизируй, Ришкуция В., 2021.

Причиной многих программных ошибок становится несоответствие типов данных. Сильная система типов позволяет избежать целого класса ошибок и обеспечить целостность данных в рамках всего приложения. Разработчик, научившись мастерски использовать типы в повседневной практике, будет создавать более качественный код, а также сэкономит время, которое потребовалось бы для выискивания каверзных ошибок, связанных с данными. В книге рассказывается, как с помощью типизации создавать программное обеспечение, которое не только было бы безопасным и работало без сбоев, но также обеспечивало простоту в сопровождении. Примеры решения задач, написанные на TypeScript, помогут развить ваши навыки работы с типами, начиная от простых типов данных и заканчивая более сложными понятиями, такими как функторы и монады.




Функциональные типы данных.
Мы рассмотрели основные типы данных и построенные на их основе типы. Кроме того, поговорили о том, как повысить безопасность программ с помощью объявления новых типов данных и обеспечить соблюдение разнообразных ограничений, накладываемых на их значения. Это практически все, чего можно добиться, используя алгебраические типы данных и комбинирование типов в типы-суммы и типы-произведения. Следующая возможность систем типов, о которой мы поговорим, открывающая качественно новый уровень выражения логики, — типизация функций. Возможность именования функциональных типов данных и использования функций подобно значениям других типов (в качестве переменных, аргументов и возвращаемых типов данных функций) позволяет упростить реализацию нескольких распространенных языковых конструкций и вынести часто встречающиеся алгоритмы в библиотечные функции.

Краткое содержание.
Предисловие.
Благодарности.
О книге.
Глава 1.Введение в типизацию.
Глава 2.Базовые типы данных.
Глава 3.Составные типы данных.
Глава 4.Типобезопасность.
Глава 5.Функциональные типы данных.
Глава 6.Расширенные возможности применения функциональных типов данных.
Глава 7.Подтипизация.
Глава 8.Элементы объектно-ориентированного программирования.
Глава 9.Обобщенные структуры данных.
Глава 10.Обобщенные алгоритмы и итераторы.
Глава 11.Типы, относящиеся к более высокому роду, и не только.
Приложение А. Установка TypeScript и исходный код.
Приложение Б. Шпаргалка по TypeScript.

Купить .








Теги: Ришкуция :: книги по программированию :: программирование :: TypeScript