0 €

Type-driven Development with Idris

(0) | Küsimused ja vastused (0)

Täpsustused:

Autor:	Edwin Brady
Lehekülgede arv:	480, Täpsustamata
Ilmumisaasta:	2017
Kauba ID:	16296014

Lisainfo

TASUTA TARNE al 20 €

56⁷⁹ €

Müüja: Bookstore Krisostomos 4.9

Lisa korvi

7⁵¹ € / kuus

Järelmaksu kalkulaator

3 x 18⁹³ €

Ilma lisatasudeta

Sinu linn

Omniva pakiautomaat

14. jaanuarist

TASUTA TARNE al 20 €

0⁰⁰ €

Smartpost pakiautomaat

14. jaanuarist

TASUTA TARNE al 20 €

0⁰⁰ €

Postkontor

14. jaanuarist

TASUTA TARNE al 20 €

0⁰⁰ €

Kuller

14. jaanuarist

3⁹⁹ €

Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.

Kõik tarneviisid

Omniva pakiautomaat

14. jaanuarist

TASUTA TARNE al 20 €

0⁰⁰ €

Smartpost pakiautomaat

14. jaanuarist

TASUTA TARNE al 20 €

0⁰⁰ €

Postkontor

14. jaanuarist

TASUTA TARNE al 20 €

0⁰⁰ €

Kuller

14. jaanuarist

3⁹⁹ €

Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.

Kõik tarneviisid

14-päevane tagastusvõimalus

Müüja: Bookstore Krisostomos 4.9

95% ostjatest soovitaks seda müüjat.

Teised on vaadanud

Toote kirjeldus: Type-driven Development with Idris

DESCRIPTION Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you explicitly test for. In typedriven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors. And you can express precise relationships between data, your assumptions are explicit and checkable, and you can precisely state and verify properties. Type-driven development lets users write extensible code, create simple specifications very early in development, and easily create mock implementation for testing. Type-Driven Development with Idris, written by the creator of Idris, teaches programmers how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system. This book teaches readers using Idris, a language designed from the very beginning to support type-driven development. Readers learn how to manipulate types just like any other construct (numbers, strings, lists, etc.). This book teaches how to use type-driven development to build real-world software, as well as how to handle side-effects, state and concurrency, and interoperating with existing systems. By the end of this book, readers will be able to develop robust and verified software in Idris and apply type-driven development methods to programming in other languages. KEY FEATURES * Written by the creator of Idris * Improve performance and accuracy of programs * Teaches Idris, a new type-driven development language * Hands-on code examples * Build real-world software AUDIENCE Written for programmers with knowledge of basic functional programming concepts. ABOUT THE TECHNOLOGY Type-driven development lets you write extensible code, create simple specifications very early in development, and easily create mock implementation for testing. In type-driven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors.

Üldine tooteinfo: Type-driven Development with Idris

Kauba ID:	16296014
Kategooria:	Majandusalased raamatud
Tootepakendite arv:	1 tk.
Paki suurus ja kaal (1):	0,3 x 0,3 x 0,1 m, 0,2 kg
Kirjastus:	Manning Publications
Raamatu keel:	Inglise keel
Kaane tüüp:	Pole informatsiooni
Vorming:	Traditsiooniline raamat
Tüüp:	Täpsustamata
Raamat väljavõttega:	Ei
Autor:	Edwin Brady
Lehekülgede arv:	480, Täpsustamata
Ilmumisaasta:	2017

Lisainfo

Toodete pildid on illustratiivsed ja näitlikud. Tootekirjelduses sisalduvad videolingid on ainult informatiivsetel eesmärkidel, seega võib neis sisalduv teave erineda tootest endast. Värvid, märkused, parameetrid, mõõtmed, suurused, funktsioonid, ja / või originaaltoodete muud omadused võivad nende tegelikust väljanägemisest erineda, seega palun tutvuge tootekirjeldustes toodud tootespetsifikatsioonidega.

Teata veast tootekirjelduses

Partnerite pakkumised

Reklaam