Gentle Introduction to Dependent Types with Idris
暫譯: 依賴類型的溫和入門：使用 Idris
Boro Sitnikovski
- 出版商: W. W. Norton
- 出版日期: 2018-09-07
- 售價: $1,230
- 貴賓價: 9.5 折 $1,169
- 語言: 英文
- 頁數: 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,360$1,292 -
$2,573Structure and Interpretation of Computer Programs, 2/e (美國原版) -
$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,880$2,736 -
$1,088D3.js 4.x Data Visualization, 3/e (Paperback) -
Programming Rust: Fast, Safe Systems Development (Paperback)$2,200$2,090 -
Serious Cryptography: A Practical Introduction to Modern Encryption (Paperback)$1,890$1,796 -
iOS 11 Programming Fundamentals with Swift: Swift, Xcode, and Cocoa Basics (Paperback)$2,050$1,948 -
Modern Vim: Craft Your Development Environment with Vim 8 and Neovim$1,650$1,568 -
Functional Web Development with Elixir, OTP, and Phoenix: Rethink the Modern Web App$1,600$1,520 -
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,080$2,038 -
CODE COMPLETE：軟體開發實務指南, 2/e (中文版) (Code Complete: A Practical Handbook of Software Construction, 2/e)$1,280$1,088 -
An Invitation to Applied Category Theory: Seven Sketches in Compositionality$2,400$2,280
商品描述
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.
商品描述(中文翻譯)
依賴類型是一個強大的概念，允許我們編寫帶有證明的程式碼。Idris 是一種支援依賴類型的程式語言。我們將學習數學基礎，然後編寫正確的軟體並數學上證明其屬性。本書旨在讓初學者易於理解，並且不需要超過高中數學的先前經驗。因此，本書的寫作方式是自成一體的。本書的第一部分作為 Idris 背後理論的介紹，而第二部分則是 Idris 的實用介紹，並附有範例。
