List of Listings

Chapter 1. Introduction to typing

Listing 1.1. Trying to interpret data as code

Listing 1.2. Insufficient type information

Listing 1.3. Refined type information

Listing 1.4. Bad mutation

Listing 1.5. Immutability

Listing 1.6. Not enough encapsulation

Listing 1.7. Encapsulation

Listing 1.8. Noncomposable system

Listing 1.9. Noncomposable system update

Listing 1.10. Composable system

Listing 1.11. Untyped find()

Listing 1.12. Typed find()

Listing 1.13. Dynamic typing

Listing 1.14. Static typing

Listing 1.15. Weak typing

Listing 1.16. Strong typing

Listing 1.17. Type inference

Chapter 2. Basic types

Listing 2.1. Raising and logging an error if a config file is not found

Listing 2.2. Empty type implemented as an uninstantiable ...

Get Programming with Types now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial