在上一篇文章中我们花比较大的篇幅介绍了敏捷业务实践中的计划游戏，在这篇文章中我们将介绍介绍生命之环中外围剩下的三个业务实践。小步发布小步发布这一业务实践建议开发团队应该尽可能频繁地...
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
The Little Typer
Daniel P. Friedman、David Thrane Christiansen、Duane Bibby、Robert Harper、Conor Mcbride / MIT Press / 2018-10-16 / GBP 30.00
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are......一起来看看 《The Little Typer》 这本书的介绍吧!
