Gentle Introduction to Dependent Types with Idris

By Sitnikovski, Boro

Book Id: WPLBN0100301972
Format Type: PDF eBook:
File Size: 0.6 MB
Reproduction Date: 9/7/2018

Title:	Gentle Introduction to Dependent Types with Idris
Author:	Sitnikovski, Boro
Volume:
Language:	English
Subject:	Non Fiction, Science
Collections:	Mathematics, Authors Community, Education
Historic Publication Date:	2018
Publisher:	Leanpub

Member Page:	Boro Sitnikovski
Citation APA MLA Chicago Sitnikovski, B. B. (2018). Gentle Introduction to Dependent Types with Idris. Retrieved from http://self.gutenberg.org/

Description
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 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.

Summary
Are you interested in logic, mathematical proofs, type theories, and writing correct and proof-carrying code using these concepts? If yes, then this introductory book is for you!