سبد خرید
0

هیچ محصولی در سبد خرید نیست.

حساب کاربری

یا

حداقل 8 کاراکتر

پشتیبان 99004600919

پشتیبانی

17%

Programming with Types

کتاب Programming with Types

خرید کتاب زبان اصلی | کاغذ تحریر | سایز اصلی کتاب | چاپ سیاه و سفید | صحافی جلد نرم

خرابی های مربوط به نوع رایج هستند و می توانند بسیار پرهزینه باشند. معروف است، در سال 1999، مدارگرد آب و هوای مریخ ناسا به دلیل خطایی که به راحتی با تایپ کردن قابل پیشگیری بود، در جو سوخت. با بهره گیری از سیستم های نوع قوی موجود در اکثر زبان های برنامه نویسی مدرن، می توانید کل کلاس های خطا را حذف کنید.

قیمت اصلی ۲۹۰,۰۰۰ تومان بود.قیمت فعلی ۲۴۰,۰۰۰ تومان است.

سیمی‌ کتاب‌ها به صورت رایگان!

کافیست در بخش توضیحات سبد خرید درخواست دهید.

موجود در انبار
✅ قیمت منصفانه به نسبت کیفیت بالای محصولات
✅گارانتی اصالت و ضمانت سلامت فیزیکی کتاب ها
✅ ارسال با بسته بندی مقاوم در کمترین زمان ممکن
✅ قیمت های به روز و عدم اتمام موجودی کتاب ها
نقد و بررسی اجمالیکتاب Programming with Types

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.

Editorial Reviews

“Well-presented, valuable knowledge on type systems, data structures, algorithms, and programming paradigms (functional and OO).”
– Fred Heath, Faria Education Group
“A triumph of types exploration, with concise examples of how types can make programs more robust and sound.”
– Theo Despoudis, Teckro
“Everything you need to know about types, from Booleans to monads. This book has you covered.”
– Desmond Horsley, NSW Health Pathology
“Finally, a book that fills the gap between theory and practice in type systems.”
– Domingo Sebastián, Fundació Bit
نمایش ادامه مطلب
برچسب:
مشخصات کلیکتاب Programming with Types
کتاب چاپی
ناشر

Manning Publications

نویسندگان

Vlad Riscutia

سال نشر

2019

زبان

انگلیسی

چاپ

چاپ سیاه و سفید

صحافی

صحافی جلد نـرم

سایز کتاب

سایز وزیری (17 در 24 سانتی متر)

تعداد صفحات

325

نظرات کاربرانکتاب Programming with Types

لطفا پیش از ارسال نظر، خلاصه قوانین زیر را مطالعه کنید: فارسی بنویسید و از کیبورد فارسی استفاده کنید. بهتر است از فضای خالی (Space) بیش‌از‌حدِ معمول، شکلک یا ایموجی استفاده نکنید و از کشیدن حروف یا کلمات با صفحه‌کلید بپرهیزید. نظرات خود را براساس تجربه و استفاده‌ی عملی و با دقت به نکات فنی ارسال کنید؛ بدون تعصب به محصول خاص، مزایا و معایب را بازگو کنید و بهتر است از ارسال نظرات چندکلمه‌‌ای خودداری کنید. بهتر است در نظرات خود از تمرکز روی عناصر متغیر مثل قیمت، پرهیز کنید. به کاربران و سایر اشخاص احترام بگذارید. پیام‌هایی که شامل محتوای توهین‌آمیز و کلمات نامناسب باشند، حذف می‌شوند.

اولین کسی باشید که دیدگاهی می نویسد “Programming with Types”

نقد و بررسی‌ها0

  • جدیدترین
  • مفیدترین
  • دیدگاه خریداران

هنوز بررسی‌ای ثبت نشده است.

پرسش و پاسخکتاب Programming with Types

هیچ پرسشی یافت نشد

    برای ثبت پرسش، لازم است ابتدا وارد حساب کاربری خود شوید

    نقد و بررسیکتاب Programming with Types
    افزودن به سبد خرید
    مقایسه محصولات

    0 محصول

    مقایسه محصول
    مقایسه محصول
    مقایسه محصول
    مقایسه محصول