Type-Driven Development with Idris

by Edwin Brady

Get this deal

From the creator of Idris, this book teaches you how to improve the performance and accuracy of your programs. Type-driven development lets you write extensible code, create specifications very early in development, and create mock implementations.

Get half off the MEAP eBook or MEAP pBook. Enter dotd121215tw in the Promotional Code box when you check out at

Use this same code to save 50% on Functional Programming in Scala and F# Deep Dives.

Today's Countdown to 2016 book winners!