PirateBay Download | sitnikovski b gentle introduction dependent types idris 2022

sitnikovski b gentle introduction dependent types idris 2022

Type:: E-books
Files:: 1
Size:: 2.5 MB
Uploaded On:: April 1, 2022, 9:47 a.m.
Added By:: andryold1
Seeders:: 1
Leechers:: 0
Info Hash:: 540665DB836C72E339E334F6C9167A28DB30E84B

Textbook in PDF format Dependent types are a powerful concept that allows us to write proof-carrying code. Idris is a programming language that supports dependent types. We will learn about the mathematical foundations, and then write correct software and mathematically prove properties about it. This book aims to be accessible to novices that have no prior experience beyond high school mathematics. Thus, this book is designed to be self-contained. The reason for writing this book is that I could not find a book that explained how things work, so I had to do a lot of research on the internet through white-papers, forums, and example code in order to come up with a complete picture of what dependent types are and what they are good for. The first part of this book serves as an introduction to the theory behind Idris, while the second part is a practical introduction to Idris with examples

Get This Torrent

Sitnikovski B. Gentle Introduction to Dependent Types with Idris 2022.pdf 2.5 MB

Details for: Sitnikovski B. Gentle Introduction to Dependent Types.Idris 2022

sitnikovski b gentle introduction dependent types idris 2022

Similar Posts: