Weekly

近期阅读关于软件开发的书时，作者强调了软件设计中的一个重要原则——不要重复自己（DRY）。这一原则指出，系统中的每一项知识都应有一个单一、明确、权威的表示。避免在项目中重复信息，因为这将导致未来可能出现的问题。例如，在数据库设计中，如果同一信息存储在文本文件和数据库脚本中，一旦需要修改，就必须在两个地方同步更改，否则会出现问题。解决这一问题的方法是使用代码生成，以自动化重复任务。

九OldAndroids库通过巧妙地利用Android 3.0引入的`View`类新方法，实现了在旧版本Android平台上对视图进行高级动画处理。作者通过深入分析`View`类和动画框架，开发了一种自定义动画类，能够同步九OldAndroids库，实现透明度、缩放、旋转和位移等动画效果。这种方法不仅轻量高效，而且能够自动处理，为开发者提供流畅的多属性动画体验。

本文探讨了代数基本定理的证明，指出数学中存在多种证明同一定理的方法，并通过引入新概念和策略来强调数学的统一美。文章以非常数复系数多项式 $p(x)$ 为例，利用Liouville定理和Cauchy积分公式，证明了 $p(x)$ 在复数域 $\mathbb{C}$ 中必有一个根。通过分析 $f(z) = \frac{1}{p(z)}$ 的性质，得出 $p(x)$ 必须是常数，从而与假设矛盾，最终证明 $p(x)$ 有根。

作者在博客中表达了对使用空格进行代码缩进的强烈反对，认为这比使用制表符进行缩进更糟糕。他强调，制表符的主要优势在于个性化，允许开发者根据个人喜好调整缩进宽度，而空格则可能导致团队间的不一致和沟通障碍。作者还指出，制表符在编程中更容易进行程序化处理，且在复制粘贴代码时不会出现缩进调整的问题。最后，作者呼吁技术应允许开发者以自己的方式阅读代码，而不必强迫团队接受统一缩进宽度。