What are types for?

Types in programming languages are commonly thought of as a way of preventing certain bad things from happening, such as multiplying a number by a string. But this is only half of the benefit of types: it is what types are against. Types in programming languages are also what enable some good things to happen, such as selecting the right implementation of a heterogeneous operation like comparison or printing based on type information; this is what are types for. This ability is surprisingly powerful, and gives rise to a variety of highly expressive generic programming techniques. Jeremy illustrates with some examples based on the rank-polymorphic array operations introduced in Iverson’s APL: not only does the type information prevent array shape errors, it is what directs the lifting of operations across array dimensions.

You can listen to What are types for? online on Radio and Podcast. Open the player on this page to stream the available audio.

What are types for? is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University.

This episode is 31:40 long.

This episode was published on Jun 26, 2017.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Strachey 100: an Oxford Computing Pioneer when more episodes are available from the podcast feed.