Parámetros
- 480 páginas
- 17 horas de lectura
Más información sobre el libro
Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed from the very beginning to support type-driven development. In this book, you’ll learn how to manipulate types just like any other construct (numbers, strings, lists, etc.). You’ll see how to use type-driven development to build real-world software, as well as how to handle side-effects, state and concurrency, and interoperating with existing systems. By the end of this book, you will be able to develop robust and verified software in Idris and apply type-driven development methods to programming in other languages.
Compra de libros
Type-Driven Development with Idris, Edwin James Brady
- Idioma
- Publicado en
- 2017
- product-detail.submit-box.info.binding
- (Tapa blanda)
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Type-Driven Development with Idris
- Idioma
- Inglés
- Autores
- Edwin James Brady
- Editorial
- Manning Publications
- Publicado en
- 2017
- Formato
- Tapa blanda
- Páginas
- 480
- ISBN10
- 1617293024
- ISBN13
- 9781617293023
- Serie
- Etiquetas
- No ficción, Ciencias sociales, Tecnología & Ingeniería, Ordenadores & Internet, Idiomas, Tecnología, Software
- Descripción
- Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed from the very beginning to support type-driven development. In this book, you’ll learn how to manipulate types just like any other construct (numbers, strings, lists, etc.). You’ll see how to use type-driven development to build real-world software, as well as how to handle side-effects, state and concurrency, and interoperating with existing systems. By the end of this book, you will be able to develop robust and verified software in Idris and apply type-driven development methods to programming in other languages.