编程与类型系统
【关于本书】 本书旨在告诉你如何使用类型系统编写更好、更安全的代码。虽然大部分介绍类型系统的图书更加关注形式方面的讨论,但本书采用了偏向实用的做法。本书包含你在日常工作中可能遇到的许多示例、应用和场景。 【读者对象】 本书主要针对想要学习类型系统的工作原理以及使用类型系统来提高代码质量的程序员。你应该具备一些使用面向对象编程语言(如Java、C#、C++或JavaSc...
【关于本书】 本书旨在告诉你如何使用类型系统编写更好、更安全的代码。虽然大部分介绍类型系统的图书更加关注形式方面的讨论,但本书采用了偏向实用的做法。本书包含你在日常工作中可能遇到的许多示例、应用和场景。 【读者对象】 本书主要针对想要学习类型系统的工作原理以及使用类型系统来提高代码质量的程序员。你应该具备一些使用面向对象编程语言(如Java、C#、C++或JavaSc...
设计模式(Design Patterns)是一套被反复使用、多数人知晓、无数工程师实践的代码设计经验的总结,它是面向对象思想的高度提炼和模板化。 《人人都懂设计模式:从生活中领悟设计模式:Python实现》带你一起从生活的角度思考设计模式,以轻松有趣的小故事开始,由浅入深地讲解每一种模式,思考每一种模式,总结每一种模式!力求用更通俗的语言阐述难懂的概念,用更简单的语法实现复杂的逻...
享誉全球的Python入门书,影响了超过250万读者。 ◎ 编辑推荐 编程入门就选蟒蛇书! 【经典】Python入门圣经,长居 Amazon、京东等编程类图书榜首 【畅销】热销全球,以 13 个语种发行,影响超过 250 万读者 【口碑】好评如潮,第 2 版豆瓣评分 9.2,Amazon 4.7 星评 【升级】代码基于 Python 3.11 升级,...
《零基础学数据结构》是计算机专业的专业基础课和核心课程。《零基础学数据结构》内容全面,所有算法都是用C语言描述,能够直接运行,在每一章的所有知识点都给出了算法的具体使用。《零基础学数据结构》内容包括数据结构概述、C语言程序设计基础、线性表、栈、队列、串、数组、广义表、树和二叉树、图、查找、内排序和外排序。为了便于读者学习,在讲解每一个知识点时,都结合图和具体实例进行分析,在每个知识点的...
《更锋利的C#代码:编写高质量C#程序》由浅入深、由表及里地讲述存在于C#编码开发中的各种质量问题,让读者清楚地了解什么是应该做的,什么是不应该做的。C#提供的每种语言机制的功能背后,体现了怎样的逻辑含义。当遇到具体的问题时,应该如何选择与取舍。阅读完此书的每一个章节,都会让读者站在更高的角度C#体系拥有更深的认识和把握,不断向软件开发的更高层次迈进。一个好的程序,不仅仅是能得出正确的...
Jolt大奖素有“软件业之奥斯卡”的美称,《Jolt大奖精选丛书:代码阅读》精选自Jolt历届获奖图书,以植根于开发实践中的独到工程思想与杰出方法论为主要甄选方向。作者使用了超过600个现实的例子来向你展现如何甄别代码的好坏;如何阅读,应当注意什么,以及如何使用这些知识来改进自己的代码。《Jolt大奖精选丛书:代码阅读》在一些现实中的大型实例基础上,论述了代码阅读的策略,并向读者展示了...
《Python Cookbook(第3版)中文版》介绍了Python应用在各个领域中的一些使用技巧和方法,其主题涵盖了数据结构和算法,字符串和文本,数字、日期和时间,迭代器和生成器,文件和I/O,数据编码与处理,函数,类与对象,元编程,模块和包,网络和Web编程,并发,实用脚本和系统管理,测试、调试以及异常,C语言扩展等。 本书覆盖了Python应用中的很多常见问题,并提出了通用...
我们都知道,即使是最训练有素的开发团队,也不能保证始终编写出清晰高效的代码。如果不积极地修改、挽救,随着时间流逝,所有软件都会不可避免地渐渐变得复杂、难以理解,最终腐化、变质。因此,理解并修改已经编写好的代码,是每一位程序员每天都要面对的工作,也是开发程序新特性的基础。然而,与开发新代码相比,修改代码更加令人生畏,而且长期以来缺乏文献和资料可供参考。 本书是继《重构》和《重构与模...
要知道能子计算机领域中独树一矾的作品可谓是凤毛麟角,而作者的第一本书《代码阅读》就作到了这点,在计算机教学中教人如何阅读代码而非编写代码的书籍的确是大受欢迎,在教学生如何编写代码前,应首先学习如何阅读代码,因为学习其他语言方法都是先学阅读,在学写做,而且在新千年,多数开发人员的主要任务是修改已存在的代码。而不是开发代码,正因为如此,我很感激作者能认识到这一点,并且为我们撰写了如何阅读代...
第2版的《代码大全》是著名IT畅销书作者史蒂夫·迈克康奈尔11年前的经典著作的全新演绎:第2版不是第一版的简单修订增补,而是完全进行了重写;增加了很多与时俱进的内容。这也是一本完整的软件构建手册,涵盖了软件构建过程中的所有细节。它从软件质量和编程思想等方面论述了软件构建的各个问题,并详细论述了紧跟潮流的新技术、高屋建瓴的观点、通用的概念,还含有丰富而典型的程序示例。这本书中所论述的技术...