توضیحات
Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power of strong type systems. Designed to provide practical, instantly useful techniques for working developers, this clearly written tutorial introduces you to using type systems to support everyday programming tasks.
About the Technology
Common bugs often result from mismatched data types. By precisely naming and controlling which data are allowable in a calculation, a strong type system can eliminate whole classes of errors and ensure data integrity throughout an application. As a developer, skillfully using types in your everyday practice leads to better code and saves time tracking down tricky data-related errors.
About the Book
Programming with Types teaches type-based techniques for writing software that’s safe, correct, easy to maintain, and practically self-documenting. Designed for working developers, this clearly written tutorial sticks with the practical benefits of type systems for everyday programming tasks. Following real-world examples coded in TypeScript, you’ll build your skills from primitive types up to more-advanced concepts like functors and monads.
What’s inside
Building data structures with primitive types, arrays, and references
How types affect functions, inheritance, and composition
Object-oriented programming with types
Applying generics and higher-kinded types
About the Reader
You’ll need experience with a mainstream programming language like TypeScript, Java, JavaScript, C#, or C++.
About the Author
Vlad Riscutia is a principal software engineer at Microsoft. He has headed up several major software projects and mentors up-and-coming software engineers.
————————————————————–
ترجمه ماشینی :
برنامه نویسی با Types به شما می آموزد که با بهره گیری از قدرت سیستم های نوع قوی، نرم افزار ایمن، انعطاف پذیر و صحیح طراحی کنید که نگهداری و درک آن آسان باشد. این آموزش کاملاً مکتوب که برای ارائه تکنیکهای کاربردی و فوری برای توسعهدهندگان فعال طراحی شده است، شما را با استفاده از سیستمهای نوع برای پشتیبانی از وظایف برنامهنویسی روزمره آشنا میکند. درباره فناوری اشکالات رایج اغلب ناشی از عدم تطابق انواع داده است. با نامگذاری دقیق و کنترل اینکه کدام دادهها در یک محاسبات مجاز هستند، یک سیستم نوع قوی میتواند کل کلاسهای خطا را حذف کرده و یکپارچگی دادهها را در یک برنامه تضمین کند. بهعنوان یک توسعهدهنده، استفاده ماهرانه از انواع در تمرین روزمره منجر به کد بهتری میشود و در ردیابی خطاهای مرتبط با دادهها در زمان صرفهجویی میکند. درباره کتاب برنامهنویسی با انواع تکنیکهای مبتنی بر نوع را برای نوشتن نرمافزاری میآموزد که ایمن، صحیح، آسان برای نگهداری و عملاً مستندسازی میشود. این آموزش کاملاً نوشته شده برای توسعه دهندگان فعال طراحی شده است و با مزایای عملی سیستم های نوع برای کارهای برنامه نویسی روزمره همراه است. با پیروی از نمونههای دنیای واقعی کدگذاری شده در TypeScript، مهارتهای خود را از انواع ابتدایی تا مفاهیم پیشرفتهتر مانند تابعها و مونادها خواهید ساخت. چه چیزی در داخل است ساختن ساختارهای داده با انواع، آرایه ها و مراجع اولیه چگونه انواع بر توابع، وراثت و ترکیب تأثیر می گذارند برنامه نویسی شی گرا با انواع به کارگیری ژنریک و انواع بالاتر درباره Reader شما نیاز به تجربه با یک زبان برنامه نویسی اصلی مانند TypeScript، Java، JavaScript، C# یا C++ دارید. درباره نویسنده Vlad Riscutia یک مهندس نرم افزار اصلی در مایکروسافت است. او چندین پروژه بزرگ نرم افزاری را رهبری کرده و مهندسان نرم افزاری جدید را راهنمایی کرده است.
tag : دانلود کتاب برنامه نویسی با Types , Download برنامه نویسی با Types , دانلود برنامه نویسی با Types , Download Programming with Types Book , برنامه نویسی با Types دانلود , buy برنامه نویسی با Types , خرید کتاب برنامه نویسی با Types , دانلود کتاب Programming with Types , کتاب Programming with Types , دانلود Programming with Types , خرید Programming with Types , خرید کتاب Programming with Types ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.