蒹葭苍苍,白露为霜。
所谓伊人,在水一方。

Programming with Types - pdf - 电子书免费下载

内容提要:

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!

ISBN:1617296414

年份:2019

总页数:325

语言:English

文件大小:6.4 MB

文件格式:PDF, ePub

下载:关注本站公众号(右侧二维码),在 个性化-联系客服 中输入本文链接可获取文件下载链接。

赞(0) 打赏
未经允许不得转载:酷居科技 » Programming with Types - pdf - 电子书免费下载

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

锦瑟无端五十弦,一弦一柱思华年

酷居科技联系我们

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

微信扫一扫打赏