Programming with Types
暫譯: 類型編程

Riscutia, Vlad

Programming with Types
  • 出版商: Manning
  • 出版日期: 2019-12-13
  • 定價: $1,720
  • 售價: 8.8 折 $1,514 (限時優惠至 2025-03-31)
  • 語言: 英文
  • 頁數: 325
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 1617296414
  • ISBN-13: 9781617296413
  • 相關分類: JavaScript
  • 相關翻譯: 編程與類型系統 (簡中版)

    • 立即出貨 (庫存 < 3)

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

商品描述

Type-related failures are common and can be very costly. Famously, in 1999, NASA's Mars Climate Orbiter burned up in the atmosphere because of an error that could have easily been prevented with typing. By taking advantage of the strong type systems available in most modern programming languages, you can eliminate whole classes of errors.

Programming with Types teaches you type system techniques for writing software that's safe, correct, easy to test and maintain, and that practically documents itself. Master these techniques, and you may even help prevent an interstellar catastrophe

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

商品描述(中文翻譯)

類型相關的錯誤是常見的，且可能非常昂貴。著名的例子是，在1999年，NASA的火星氣候軌道器因為一個本可以輕易避免的類型錯誤而在大氣中燒毀。透過利用大多數現代程式語言中可用的強類型系統，您可以消除整類錯誤。

《Programming with Types》教您使用類型系統的技術來編寫安全、正確、易於測試和維護的軟體，並且幾乎能自我記錄。掌握這些技術，您甚至可能幫助防止一次星際災難。

購買印刷版書籍可獲得Manning Publications提供的免費電子書，格式包括PDF、Kindle和ePub。

作者簡介

Vlad Riscutia is a principal software engineer at Microsoft with over 10 years of experience in the software field. He has headed up several major software projects and mentored many up-and-coming software engineers.

作者簡介(中文翻譯)

Vlad Riscutia 是微軟的首席軟體工程師，擁有超過 10 年的軟體領域經驗。他曾負責多個重要的軟體專案，並指導了許多新進的軟體工程師。

類似商品