剧情简介：Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power of strong type systems. Designed to provide practical, instantly-useful techniques for working developers, this clearly-written tutorial introduces you to using type systems to support everyday programming tasks. In it, you’ll ex...(展开全部)
作者：Vlad Riscutia
出版社：Manning Publications
ISBN：9781617296413
