《程序原本-追溯程序原本之书》读书笔记

Overview

《大道至简-软件工程实践者的思想》读书笔记 提到周爱民的作品是尽量去寻找编程的底层逻辑，《程序原本》这书研究的是“程序”这个主题，刚好切合当下需求。

程序员灵魂拷问：为什么要用一对大括号“｛｝”来将代码括起来？

概念解析

程序

“算”是程序之表，“数”是程序之本。“算”的过程体现了“数”之间的逻辑。“算”、“数”、“逻辑”…均为对现实世界的抽象，这个层面或者说角度的抽象，所使用的“语言”，就是程序。

计算机语言所定义的语法，是为避免“计算不确定性”，不同的编程语言是从不同角度来实现这一目标。

系统

系统是“通过在程序组织上的结构化来解决规模问题”的一种策略。系统应付规模问题的总法则只有两个：运算能力的分布、运算对象的分布。

有了“分布”，自然衍生出分部件之间的“关系”，这个层面打交道的对象是“系统状态”，方式是“消息”。

存储系统

存储系统，某种角度是人类文明的根本，通常含义的文明是从有文字记录开始的。

函数

计算本身对工具不存有依赖，但计算的复杂度，使得我们将计算过程进行切分成为必须，此可视为函数这一抽象概念的由来。

算数>>>算术>>>数学

“算”是程序之表，“数”是程序之本。