کتاب دانلود علوم مهندسی و فناوریرایانه، اینترنت و فناوری اطلاعات
دانلود کتاب برنامه نویسی با تایپ ها
دانلود کتاب برنامه نویسی با تایپ ها

Programming with Types
نویسنده:
سال انتشار: 2020
تعداد صفحات: 338
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 5MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود

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

 

دانلود کتاب برنامه نویسی با تایپ ها Programming with Types


دانلود کتاب برنامه نویسی با تایپ ها , دانلود کتاب , برنامه نویسی با تایپ ها , Programming with Types