Программируй & типизируй

by Vlad Riscutia, Влад Ришкуция

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

Genres: Programming, Technology, Computer Science, Software, Textbooks

352 pages, Kindle Edition

Published January 1, 2021

Reviews

[Mircea · Rating 5 out of 5]

Book is short, sweet, structured and to the point. As a programmer you may have been exposed to some or all of the concepts in the book but the way they are explained and the examples using Typescript really consolidate everything together into what types are and what a type system should be. The explanations are technical enough for you to get it, but not over the top or math heavy as most materials that deal with this type of subject.

[Daniel Gomez Rico · Rating 4 out of 5]

Even if you don't have any experience with TypeScript (as I am) the examples in the book and how he explains it is not an issue at all. It shows a lot of concepts like "what is a monad" or "what is a closure" or "why it is cool to send functions as parameters" and how to apply them in many cases.

I would love to have more examples over monads itself, but I loved the book.

[Ivan Koma · Rating 3 out of 5]

Я был настроен очень положительно, но что то в этой книге не так. Возможно автор (как он сам пишет в начале) работал в основном на более сложных языках и брать TypeScript для примера было ошибкой, т.к. у автора опыт работы с более сложными языками.
По содержанию вроде тоже все хорошо, но возможно слишком затянуто, я бы предпочёл увидеть реализацию какого-то одного проекта, а не множества разных примеров (как раз совпало бы с концепцией автора о практической пользе книги)
Плюс вышло немного затянуто, но это скорее не минус, всё-таки если автор поделился всем своим опытом, то за это спасибо, но нужно понимать что обычным читателям всегда важно время, и один из главных факторов успешной книги, это её емкость, (за исключением худ.литературы, многие почему-то переносят это и на техническую) хотелось бы отметить что у автора есть свой блог, где как раз и соблюдается принцип - "краткость сестра таланта". может кому пригодится - https://vladris.com/blog/archive.html

[William Darian · Rating 5 out of 5]

A wide-ranging application of type systems, introduced via TypeScript.
If you want to understand more about functional programming, generic programming, monoids, monads, functors, and other higher kinded types coming from imperative or object oriented programming, this might just be the book for you.

[Mike Harris · Rating 5 out of 5]

Fantastic book. This book goes from simple types all the way to higher kinded types but it is not just about types it goes over the relationship between types and popular patterns that programs use every day. This is one of those rare books which by working through it will level up your skills and give you insight into deeper understanding of logic and programming.

[Dmitry Marcautan · Rating 4 out of 5]

Accessible entry-level introduction into type systems. Using Typescript for code examples was a great choice as it allowed to introduce many basic concepts without overwhelming reader with the novelty of idiomatic non-mainstream programming languages like Haskell etc.