Téléchargez le livre : Introduction to Dependent Types with Idris

Introduction to Dependent Types with Idris

Encoding Program Proofs in Types de

Éditeur :

Apress


Paru le : 2023-03-17

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
36,47 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.
The first part of the book serves as an introduction to the language's underlying theories. It starts by reviewing formal systems and mathematical logical systems as foundational building blocks, then gradually builds up to dependent types. Next, you'll learn type theory for dependent types. Following this, you'll explore the Idris programming language and conclude by exploring the depths of formal systems and type checkers by implementing them.
Introduction to Dependent Types with Idris will walk you through simple examples through more advanced techniques, stepping up the difficulty as you gain more knowledge. Every chapter includes a set of exercises based on what it covered to further cement your learning. No specialized knowledge of mathematics is expected beyond the basics, so it is perfect for novices.
What You Will Learn Understand Lambda calculus and dependent types Gain insight into functional programmingWrite mathematical proofs with Idris
Who This Book Is For
Programmers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.
Pages
157 pages
Collection
n.c
Parution
2023-03-17
Marque
Apress
EAN papier
9781484292587
EAN PDF
9781484292594
Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
15
Taille du fichier
4106 Ko
Prix
36,47 €
EAN EPUB
9781484292594
Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
15
Taille du fichier
666 Ko
Prix
36,47 €

Suggestions personnalisées