Programming with Types

By: Vlad Riscutia

Write A Review

Paperback | 13 December 2019

At a Glance

Paperback
325 Pages

Dimensions(cm)
18.7 x 23.3 x 2.6

Paperback

$102.75

or 4 interest-free payments of $25.69 with

Ships in 10 to 15 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.