Gentle Introduction to Dependent Types with Idris
Boro Sitnikovski
- 出版商: W. W. Norton
- 出版日期: 2018-09-07
- 售價: $1,200
- 貴賓價: 9.5 折 $1,140
- 語言: 英文
- 頁數: 133
- 裝訂: Paperback
- ISBN: 1723139416
- ISBN-13: 9781723139413
無法訂購
買這商品的人也買了...
-
The Art of Computer Programming, Volume 3 : Sorting and Searching, 2/e (Hardcover)$2,980$2,831 -
Code: The Hidden Language of Computer Hardware and Software (Paperback)$1,340$1,273 -
Structure and Interpretation of Computer Programs, 2/e (美國原版)$2,625$2,573 -
$1,392Complex Analysis: A First Course with Applications (Hardcover) -
Getting Started with LLVM Core Libraries (Paperback)$1,880$1,786 -
高效能網站開發指南 (High Performance Browser Networking: What every web developer should know about networking and web performance)$580$458 -
Introduction to Topology, 3/e (Paperback)$850$808 -
CSS Secrets 中文版｜解決網頁設計問題的有效秘訣 (CSS Secrets: Better Solutions to Everyday Web Design Problems)$680$537 -
Real Analysis (Paperback)$2,670$2,537 -
Verified Functional Programming in Agda$2,840$2,698 -
$1,088D3.js 4.x Data Visualization, 3/e (Paperback) -
Programming Rust: Fast, Safe Systems Development (Paperback)$2,170$2,062 -
$1,480Serious Cryptography: A Practical Introduction to Modern Encryption (Paperback) -
iOS 11 Programming Fundamentals with Swift: Swift, Xcode, and Cocoa Basics (Paperback)$2,140$2,033 -
$1,568Modern Vim: Craft Your Development Environment with Vim 8 and Neovim -
$1,520Functional Web Development with Elixir, OTP, and Phoenix: Rethink the Modern Web App -
Godot Engine Game Development in 24 Hours, Sams Teach Yourself: The Official Guide to Godot 3.0$1,680$1,596 -
The Little Typer (Paperback)$2,060$2,019 -
CODE COMPLETE：軟體開發實務指南, 2/e (中文版) (Code Complete: A Practical Handbook of Software Construction, 2/e)$1,280$998 -
An Invitation to Applied Category Theory: Seven Sketches in Compositionality$2,360$2,242
相關主題
商品描述
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.
