Chapter 4. User-defined data types
This chapter covers
- Defining your own data types
- Understanding different forms of data types
- Writing larger interactive programs in the type-driven style
Type-driven development involves not only giving precise types to functions, as you’ve seen so far, but also thinking about exactly how data is structured. In a sense, programming (pure functional programming, in particular) is about transforming data from one form to another. Types allow us to describe the form of that data, and the more precise we make these descriptions, the more guidance the language can give in implementing transformations on that data.
Several useful data types are distributed as part of the Idris libraries, many of which we’ve used ...
Get Type-Driven Development with Idris 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.
