1 option
Type-driven development with Idris / Edwin Brady.
- Format:
- Book
- Author/Creator:
- Brady, Edwin, author.
- Language:
- English
- Subjects (All):
- Functional programming (Computer science).
- Physical Description:
- 1 online resource (1 volume) : illustrations
- Edition:
- 1st edition
- Place of Publication:
- Shelter Island, New York : Manning, [2017]
- System Details:
- text file
- Summary:
- Type-Driven Development with Idris teaches you how to improve the performance and accuracy of your code by taking advantage of a state-of-the-art type system. In this book, you'll learn type-driven development of real-world software, as well as how to handle side effects, interaction, state, and concurrency. By the end, you'll be able to develop robust and verified software in Idris and apply type-driven development methods to other languages.
- Contents:
- Introduction
- Core Idris
- Idris and the real world.
- Notes:
- Includes bibliographical references and index.
- Description based on print version record.
- Includes index.
- ISBN:
- 9781638352242
- 1638352240
- 9781617293023
- 1617293024
- OCLC:
- 984515077
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.