Filtruj wg
Filtruj według
Resetuj filtry

Data wydania

2017 rok - 2017 rok

Autor

Cena

139,00 zł - 140,00 zł

Czas dostawy

30 dni - 30 dni

Wydawnictwo

Filtruj według

Type-Driven Development...

Type-Driven Development with Idris

Autor: Edwin Brady
Data wydania: 2017
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
140,00 zł