Type-driven Development with Idris

Edwin Brady

  • 出版商: Manning
  • 出版日期: 2017-04-07
  • 定價: $1,650
  • 售價: 9.0$1,485
  • 語言: 英文
  • 頁數: 480
  • 裝訂: Paperback
  • ISBN: 1617293024
  • ISBN-13: 9781617293023
  • 相關分類: Domain-Driven Design軟體工程
  • 立即出貨

  • Type-driven Development with Idris-preview-1
  • Type-driven Development with Idris-preview-2
  • Type-driven Development with Idris-preview-3
  • Type-driven Development with Idris-preview-4
  • Type-driven Development with Idris-preview-5
  • Type-driven Development with Idris-preview-6
  • Type-driven Development with Idris-preview-7
  • Type-driven Development with Idris-preview-8
  • Type-driven Development with Idris-preview-9
  • Type-driven Development with Idris-preview-10
  • Type-driven Development with Idris-preview-11
  • Type-driven Development with Idris-preview-12
  • Type-driven Development with Idris-preview-13
  • Type-driven Development with Idris-preview-14
  • Type-driven Development with Idris-preview-15
  • Type-driven Development with Idris-preview-16
  • Type-driven Development with Idris-preview-17
  • Type-driven Development with Idris-preview-18
  • Type-driven Development with Idris-preview-19
  • Type-driven Development with Idris-preview-20
  • Type-driven Development with Idris-preview-21
  • Type-driven Development with Idris-preview-22
  • Type-driven Development with Idris-preview-23
  • Type-driven Development with Idris-preview-24
Type-driven Development with Idris-preview-1

買這商品的人也買了...

相關主題

商品描述

Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you explicitly test for. In type-driven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors. And you can express precise relationships between data, your assumptions are explicit and checkable, and you can precisely state and verify properties. Type-driven development lets users write extensible code, create simple specifications very early in development, and easily create mock implementation for testing.

Type-Driven Development with Idris, written by the creator of Idris, teaches programmers how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system. This book teaches readers using Idris, a language designed from the very beginning to support type-driven development. Readers learn how to manipulate types just like any other construct (numbers, strings, lists, etc.). This book teaches how to use type-driven development to build real-world software, as well as how to handle side-effects, state and concurrency, and interoperating with existing systems. By the end of this book, readers will be able to develop robust and verified software in Idris and apply type-driven development methods to programming in other languages.

Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.

商品描述(中文翻譯)

類型通常被視為檢查錯誤的工具,程式設計師首先撰寫完整的程式,然後使用類型檢查器來檢測錯誤。儘管測試用於顯示錯誤的存在,但它們只能找到您明確測試的錯誤。在以類型為驅動的開發中,類型成為構建程式的工具,適當使用可以顯示錯誤的缺席。您可以表達數據之間的精確關係,您的假設是明確且可檢查的,您可以精確陳述和驗證屬性。類型驅動的開發讓使用者能夠撰寫可擴展的程式碼,在開發的早期創建簡單的規格,並輕鬆為測試創建模擬實現。

《使用 Idris 進行類型驅動開發》是由 Idris 的創作者撰寫的,教導程式設計師如何通過利用先進的類型系統來提高程式的性能和準確性。本書教導讀者使用 Idris,這是一種從一開始就設計支援類型驅動開發的語言。讀者將學習如何像操作其他構造(數字、字符串、列表等)一樣操作類型。本書教導如何使用類型驅動開發來構建真實世界的軟體,以及如何處理副作用、狀態和並發,以及與現有系統的互操作。通過閱讀本書,讀者將能夠在 Idris 中開發強大且經過驗證的軟體,並將類型驅動開發方法應用於其他語言的程式設計。

購買印刷版書籍將包含 Manning Publications 提供的 PDF、Kindle 和 ePub 格式的免費電子書。