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

Причиною багатьох програмних помилок стає невідповідність типів даних. Сильна система типів дає змогу уникнути цілого класу помилок і забезпечити цілісність даних у межах усієї програми. Розробник, навчившись майстерно використовувати типи в повсякденній практиці, буде створювати більш якісний код, а також заощадить час, який знадобився б для вишукування каверзних помилок, пов'язаних з даними.

У книзі розповідається, як за допомогою типізації створювати програмне забезпечення, яке не тільки було б безпечним і працювало без збоїв, а й так само забезпечувало простоту в супроводі. Приклади розв'язання задач, написані на TypeScript, допоможуть розвинути ваші навички роботи з типами, починаючи від простих типів даних і закінчуючи складнішими поняттями, такими як функтори та монади.

У цій книзі

Створення структур даних на основі простих типів, масивів і посилань.
Об'єктно-орієнтоване програмування і типи.
Використання дженериків і типів вищого порядку.

Для роботи з книгою потрібен досвід роботи з однією з мейнстримових мов програмування, наприклад TypeScript, Java, JavaScript, C# або C++.

Для кого ця книга

Книга призначена для програмістів-практиків. Читач повинен добре вміти писати код однією з таких мов програмування, як Java, C#, C++ або JavaScript/TypeScript. Приклади коду наведені мовою TypeScript, але більша частина викладеного матеріалу застосовна до будь-якої мови програмування. Насправді в прикладах далеко не завжди використовується характерний TypeScript. По можливості вони адаптувалися так, щоб їх розуміли програмісти на інших мовах програмування. Збірка прикладів коду описана в додатку A, а коротка "шпаргалка" з мови TypeScript - у додатку Б.

Якщо ви по роботі займаєтеся розробкою об'єктно-орієнтованого коду, то, можливо, чули про алгебраїчні типи даних (algebraic data type, ADT), лямбда-вирази, узагальнені типи даних (generics), функтори, монади і хочете краще розібратися, що це таке і як їх використовувати у своїй роботі.

Ця книжка розповість, як використовувати систему типів мови програмування для проектування менш схильного до помилок, більш модульного і зрозумілого коду. Ви побачите, як перетворити помилки часу виконання, що можуть призвести до відмови всієї системи, на помилки компіляції та перехопити їх, поки вони ще не накоїли лиха.

Основна частина літератури з систем типів сильно формалізована. Книга ж зосереджує увагу на практичних додатках систем типів; тому математики в ній дуже мало. Проте бажано, щоб ви мали уявлення про основні поняття алгебри, такі як функції та множини. Це знадобиться для пояснення деяких із потрібних нам понять.

Влад Ришкуція - старший розробник у компанії Microsoft з більш ніж десятьма роками досвіду розробки складного ПЗ.

"Зрозуміло викладена, цінна інформація про системи типів, структури даних, алгоритми та парадигми програмування (функціональну та об'єктно-орієнтовану)",-Фред Хіт, Faria Education Group