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 manning.com.