Programming with Types

Riscutia, Vlad

  • 出版商: Manning
  • 出版日期: 2019-12-13
  • 定價: $1,720
  • 售價: 9.0$1,548
  • 語言: 英文
  • 頁數: 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的火星氣候軌道器因為一個本可以輕易避免的錯誤而在大氣層中燃燒。通過利用現代大多數程式語言中提供的強大類型系統,您可以消除整個錯誤類別。

《使用類型進行編程》教授您使用類型系統技術來編寫安全、正確、易於測試和維護的軟體,並且幾乎可以自我記錄。掌握這些技術,您甚至可能有助於防止星際災難。

購買印刷版書籍還包括一本免費的電子書(PDF、Kindle和ePub格式),由Manning Publications提供。

作者簡介

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年的軟體領域經驗。他曾領導過多個重要的軟體專案,並指導過許多新進的軟體工程師。