Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Programming with Types: mastering typed programming

278 views

Published on

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!

Learn more about the book here: https://bit.ly/2QzqisT

Published in: Software
  • Be the first to comment

  • Be the first to like this

Programming with Types: mastering typed programming

  1. 1. Mastering Typed Programming With Programming with Types. Take 42% off by entering slriscutia into the discount code box at checkout at manning.com.
  2. 2. Learn to program better 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. By mastering the strong type systems available in most modern programming languages, you can eliminate whole classes of errors— and possibly even prevent a major catastrophy! A visual representation of types
  3. 3. Utilizing type systems makes for better software Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power of strong type systems. Type-aware programming also ensures data integrity, enables data encapsulation, and allows new components to be composed from existing ones.
  4. 4. Get programming with types Programming with Types is designed to provide practical, instantly-useful techniques for working developers, this clearly-written tutorial introduces you to using type systems to support everyday programming tasks. In it, you’ll explore the impact types have on functions, inheritance, and composition, and you’ll take a close look at generics, which enable greater abstraction.
  5. 5. Learn from an expert 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.
  6. 6. If you want to learn more about the book, check it out on liveBook here. Take 42% off Programming with Types by entering slriscutia into the discount code box at checkout at manning.com.

×