Ausverkauft

Type-driven Development with Idris

Produkt bewerten

Edwin Brady

Verlag:

Pearson

Unsere-Artikel-Nr.: 4QG6PLG

EAN: 9781617293023

Ausverkauft

-7.9 %

CHF 48.80

CHF 44.93

Möchten Sie nach einer Alternative suchen?

Beschreibung

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.

Spezifikationen

Sprache

Englisch

Autor

Edwin Brady

Erscheinungsjahr

2017

Format

Buch (Softcover)

Anzahl Seiten