Type-driven development with Idris

Main
Computers - Programming
Type-driven development with Idris

Type-driven development with Idris

Name: Type-driven development with Idris
ISBN: 9781617293023

Edwin Brady

5.0 / 2.0

1 comment

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

Type-Driven Development with Idris teaches you how to improve the performance and accuracy of your code by taking advantage of a state-of-the-art type system. In this book, you'll learn type-driven development of real-world software, as well as how to handle side effects, interaction, state, and concurrency. By the end, you'll be able to develop robust and verified software in Idris and apply type-driven development methods to other languages.

Kateqoriyalar:

Computers - Programming

İl:

2017

Nəşr:

Nəşriyyat:

Manning Publications

Dil:

english

ISBN 10:

1617293024

ISBN 13: