Type-Driven Development with Idris (Brady Edwin)(Paperback)

Type-Driven Development with Idris (Brady Edwin)(Paperback)

Type-Driven Development with Idris (Brady Edwin)(Paperback)

Ceny a dostupnost se mohou měnit i několikrát za den. Zkontrolujte si aktuální údaje přímo v e-shopech. Všechny dostupné barvy a velikosti naleznete přímo v e-shopech.

Type-Driven Development with Idris (Brady Edwin)(Paperback) - popis produktu

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 that embraces types as the foundation of your code - essentially as built-in documentation your compiler can use to check data relationships and other assumptions. With this approach, you can define specifications early in development and write code that's easy to maintain, test, and extend. Idris is a Haskell-like language with first-class,

Produkt Type-Driven Development with Idris (Brady Edwin)(Paperback) označuje EAN kód 9781617293023.

Type-Driven Development with Idris (Brady Edwin)(Paperback) - parametry produktu

KategorieKnihy
EAN9781617293023

Type-Driven Development with Idris (Brady Edwin)(Paperback) - historie ceny a dostupnosti

Type-Driven Development with Idris (Brady Edwin)(Paperback) - další zajímavé produkty

Type-Driven Development with Idris (Brady Edwin)(Paperback) - jak nakoupit nejvýhodnější?