Items related to Programming with Types
Synopsis
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!
Key features
• Designing functions that don’t return values
• An introduction to type systems and their benefits
• Encoding text
• Building data structures with arrays and references
• Type composition
• Function types
• Type safety
• Object-oriented programming with types
Audience
Readers need basic high school math skills as well as some programming experience in a mainstream programming language like Java, JavaScript, C#, or C++.
About the technology
As software grows in complexity, it’s essential to adopt coding tools and strategies that enforce safety and correctness. A type system governs what types of data are allowable, requiring your code to accurately store, represent, and use its internal data.
"synopsis" may belong to another edition of this title.
About the Author
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!
Key features
• Designing functions that don’t return values
• An introduction to type systems and their benefits
• Encoding text
• Building data structures with arrays and references
• Type composition
• Function types
• Type safety
• Object-oriented programming with types
Audience
Readers need basic high school math skills as well as some programming experience in a mainstream programming language like Java, JavaScript, C#, or C++.
About the technology
As software grows in complexity, it’s essential to adopt coding tools and strategies that enforce safety and correctness. A type system governs what types of data are allowable, requiring your code to accurately store, represent, and use its internal data.
Vlad Riscutia is a principal software engineer at Microsoft with over 10 years of experience in the software field. He has headed up several major software projects and mentored many up-and-coming software engineers.
"About this title" may belong to another edition of this title.
Search results for Programming with Types
Stock Image
Programming with Types
Seller: SecondSale, Montgomery, IL, U.S.A.
Seller rating 4 out of 5 stars
Condition: Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc. Seller Inventory # 00083537293
Quantity: 1 available
Stock Image
Programming with Types
Published by
Manning Publications Company, 2019
ISBN 10: 1617296414
ISBN 13: 9781617296413
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 325. Seller Inventory # 382607623
Quantity: 2 available
Stock Image
Programming with Types (Book)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-29830
Quantity: 2 available
Stock Image
Programming with Types (Book)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-16032
Quantity: 1 available
Stock Image
Programming with Types
Published by
Manning Publications Company, 2019
ISBN 10: 1617296414
ISBN 13: 9781617296413
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 325. Seller Inventory # 26381263576
Quantity: 2 available
Stock Image
Programming with Types
Published by
Manning Publications Company, 2019
ISBN 10: 1617296414
ISBN 13: 9781617296413
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 325. Seller Inventory # 18381263570
Quantity: 4 available
Seller Image
Programming with Types
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: acceptable. The book is complete and readable, with all pages and cover intact. Dust jacket, shrink wrap, or boxed set case may be missing. Pages may have light notes, highlighting, or minor water exposure, but nothing that affects readability. May be an ex-library copy and could include library markings or stickers. Seller Inventory # BSM.O0LT
Quantity: 1 available
Stock Image
Programming with Types
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2019. Paperback. . . . . . Seller Inventory # V9781617296413
Quantity: 15 available
Stock Image
Programming with Types
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # PB-9781617296413
Quantity: 15 available
Seller Image
Programming with Types
Published by
Manning Publications Dez 2019, 2019
ISBN 10: 1617296414
ISBN 13: 9781617296413
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - 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!Key features- Designing functions that don't return values - An introduction to type systems and their benefits - Encoding text- Building data structures with arrays and references - Type composition - Function types - Type safety - Object-oriented programming with typesAudienceReaders need basic high school math skills as well as some programming experience in a mainstream programming language like Java, JavaScript, C#, or C++.About the technologyAs software grows in complexity, it's essential to adopt coding tools and strategies that enforce safety and correctness. A type system governs what types of data are allowable, requiring your code to accurately store, represent, and use its internal data. Seller Inventory # 9781617296413
Quantity: 1 available