Gentle Introduction to Dependent Types with Idris

Boro Sitnikovski

  • 出版商: W. W. Norton
  • 出版日期: 2018-09-07
  • 售價: $1,100
  • 貴賓價: 9.5$1,045
  • 語言: 英文
  • 頁數: 133
  • 裝訂: Paperback
  • ISBN: 1723139416
  • ISBN-13: 9781723139413
  • 無法訂購



Dependent types are a powerful concept that allow 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, and no prior experience beyond high school mathematics is needed. Thus, this book is written in a way 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.