Type-Driven Development with Idris

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

57,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

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.

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.

Über den Autor

Edwin Brady leads the design and implementation of the Idris language.

He is a Lecturer in Computer Science and regularly speaks at conferences.

Details

Erscheinungsjahr:	2017
Fachbereich:	Programmiersprachen
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9781617293023
ISBN-10:	1617293024
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Brady, Edwin
Hersteller:	Manning Publications
Verantwortliche Person für die EU:	preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de
Maße:	233 x 187 x 30 mm
Von/Mit:	Edwin Brady
Erscheinungsdatum:	07.04.2017
Gewicht:	0,825 kg

Artikel-ID: 121009064

Über den Autor

Edwin Brady leads the design and implementation of the Idris language.

He is a Lecturer in Computer Science and regularly speaks at conferences.

Details

Erscheinungsjahr:	2017
Fachbereich:	Programmiersprachen
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9781617293023
ISBN-10:	1617293024
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Brady, Edwin
Hersteller:	Manning Publications
Verantwortliche Person für die EU:	preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de
Maße:	233 x 187 x 30 mm
Von/Mit:	Edwin Brady
Erscheinungsdatum:	07.04.2017
Gewicht:	0,825 kg