Type-driven Development with Idris

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.

Dezvoltarea bazata pe tipuri cu Idris, scrisa de creatorul Idris, va invata cum sa imbunatatiti performanta si acuratetea programelor dvs., profitand de un sistem de ultima generatie. Aceasta carte va invata cu Idris, un limbaj conceput de la bun inceput pentru a sprijini dezvoltarea bazata pe tipuri.