书名：编程与类型系统
出版社：机械工业出版社
作者：弗拉德·里斯库迪亚(Vlad Riscutia)
出版年份：2020
电子书格式： epub
简介：《编程与类型系统》是弗拉德·里斯库迪亚(Vlad Riscutia)的经典之作，深入探讨了编程语言的类型系统及其在软件开发中的重要性。本书由机械工业出版社于2020年出版，内容涵盖了类型理论、类型检查、类型推断、泛型编程、子类型化等核心概念，并结合实际编程语言的应用实例，帮助读者理解和应用类型系统。无论是初学者还是专业开发者，都能从中获益。多考网(duokao)提供免费电子书下载，助您学以致用，提升编程技能。
ISBN：9787111670513, 71116