نقد و بررسی اجمالیکتاب Programming with Types
Programming with Types
by Vlad Riscutia
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
– 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
نمایش ادامه مطلب
برچسب: تکست بوک خرید کتاب از آمازون خرید کتاب اورجینال خرید کتاب زبان اصلی خرید کتاب زبان اصلی کامپیوتر
نقد و بررسیها0
هنوز بررسیای ثبت نشده است.