World Library  
  


  
Add to Book Shelf
Flag as Inappropriate
Email this Book

Gentle Introduction to Dependent Types with Idris

By Sitnikovski, Boro

Click here to view

Book Id: WPLBN0100301972
Format Type: PDF (eBook)
File Size: 615.25 KB.
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. (2018). Gentle Introduction to Dependent Types with Idris. Retrieved from http://www.gutenberg.us/


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!

 
 



Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.