Opening book details…
Can I read Type-driven Development with Idris on EtoBox?
Type-driven Development with Idris by Edwin Brady is a computer science book available to read on EtoBox.
What is Type-driven Development with Idris about?
Summary 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 to support type-driven development. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications. About the Technology Stop fighting type errors! Type-driven development is an approach to coding
Who reads Type-driven Development with Idris?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Edwin Brady
- Publisher
- Manning Publications Co. LLC
- Published
- 2017
- Language
- EN
- ISBN
- 9781638352242
- Category
- computer science
- Subjects
- Engineering, Science, Language Learning
- Updated
- 2026-03-25
More by Edwin Brady
Browse all works by Edwin Brady
Similar books
- Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming — Robert Johnson (2024)
- Test-Driven Development with Python — Harry J.W. Percival (2014)
- Test-Driven Development with React : Apply Test-Driven Development in Your Applications — Juntao Qiu (2021)
- Model-Driven Development with Executable UML — Dragan Milicev (2009)
- IOS Code Testing : Test-Driven Development and Behavior-Driven Development with Swift — Abhishek Mishra (2017)
- Test-Driven Infrastructure with Chef: Bring Behaviour-driven Development to Infrastructure as Code — Stephen Nelson-Smith (2011)