Home -> Type-driven Development with Idris Download
Type-driven Development with Idris
Edwin Brady
[PDF.go78] Type-driven Development with Idris
Type-driven Development with Idris Edwin Brady epub Type-driven Development with Idris Edwin Brady pdf download Type-driven Development with Idris Edwin Brady pdf file Type-driven Development with Idris Edwin Brady audiobook Type-driven Development with Idris Edwin Brady book review Type-driven Development with Idris Edwin Brady summary
| #417181 in Books | Manning Publications | 2017-03-31 | Original language:English | 9.20 x.90 x7.30l,.0 | File type: PDF | 480 pages | Manning Publications||0 of 0 people found the following review helpful.| Five Stars|By Deathmistro|Just what I needed|2 of 2 people found the following review helpful.| "I don't care how easy it is to write correct programs in a language, I care about how hard it is to write wrong ones."|By Emre Sevinc|"I don't care how easy it is to write correct programs in a language, I care about how hard it is|About the Author|
|Edwin Brady leads the design and implementation of the Idris language. He is a Lecturer in Computer Science and regularly speaks at conferences.
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<...
You easily download any file type for your device.Type-driven Development with Idris | Edwin Brady. Just read it with an open mind because none of us really know.
