Product details
- Publisher : Manning; 1st edition (December 7, 2019)
- Language : English
- Paperback : 325 pages
- ISBN-10 : 1617296414
- ISBN-13 : 978-1617296413
کتاب Programming with Types
Type-related failures are common and can be very costly. Famously, in 1999, NASA's Mars Climate Orbiter burned up in the atmosphere because of an error that could have easily been prevented with typing. By taking advantage of the strong type systems available in most modern programming languages, you can eliminate whole classes of errors.
Programming with Types teaches you type system techniques for writing software that's safe, correct, easy to test and maintain, and that practically documents itself. Master these techniques, and you may even help prevent an interstellar catastrophe!
Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.
منابع کتاب کتاب Programming with Types
خرابی های مربوط به نوع رایج هستند و می توانند بسیار پرهزینه باشند. معروف است، در سال 1999، مدارگرد آب و هوای مریخ ناسا به دلیل خطایی که به راحتی با تایپ کردن قابل پیشگیری بود، در جو سوخت. با بهره گیری از سیستم های نوع قوی موجود در اکثر زبان های برنامه نویسی مدرن، می توانید کل کلاس های خطا را حذف کنید.
برنامه‌نویسی با Types به شما تکنیک‌های سیستمی را برای نوشتن نرم‌افزاری می‌آموزد که ایمن، صحیح، آسان برای آزمایش و نگهداری باشد و عملاً خودش را مستند کند. به این تکنیک ها مسلط شوید و حتی ممکن است به جلوگیری از یک فاجعه بین ستاره ای کمک کنید!
خرید کتاب چاپی شامل یک کتاب الکترونیکی رایگان در قالب‌های PDF، Kindle و ePub از انتشارات منینگ است.
ارسال نظر درباره کتاب Programming with Types