写点什么

程序原本(七):像大师们一样思考

  • 2020-02-16
  • 本文字数:1566 字

    阅读完需:约 5 分钟

程序原本(七):像大师们一样思考

编者按:本文节选自周爱民著《程序原本》一书中的部分章节。


算盘用了几千年,谁问过“算盘为什么能算东西”?算珠、进位、栏,这些东西是不是基本的存储结构?用算盘的“我们”,是不是计算单元?珠算表是不是运算规则?那些珠子表达出来的“0~9”的排列,是不是输入输出的界面?


“我们+算盘”就是一个完整的计算系统。这样的计算系统的完整性,图灵用了一个假想加以说明。图灵不过是用一个假想描述了一个事实,而这个事实“看起来”能被机器实现。于是,我们的计算机时代就开始了。


图灵是否证明过“大笨象吃意大利面条为什么是一个完备的计算机系统”呢?不,最初等的问题,往往最难于证明。往往,他的证明过程,或应用过程,只是触发了一个想象。


对计算机根本问题的思考,许多会追溯到哲学思想层面。IOPD 和 PDIO 的问题、“算法 + 数据结构 = 程序”的问题等,就属于这一类。还有一些会追溯到人类行为学、语言学等层面,例如语言、语法、语义,以及像有没有语用这样的问题。大多数时候,真正推动计算机发展的,不是对具体问题的推理求解,而是对问题本身的抽象。在 Dijkstra 的叙述中,抽象更像是终极武器。按照 Brooks 的观点:


数据的表现形式(数据结构,抽象的结果之一)是编程的根本。


而按照 Dijkstra 的引述:


引用未解释过的名词阐述公理或定理和作用于未解析过的操作数的(命了名的)运算两者之间有着某种平行的相似性。


无论如何,我们“做一个计算机”,原始的目的不外两个:其一是“让它计算数学”,其二是“让它像人一样思考”。请注意,我的确是说“计算数学(即算数)”。数学是人类的理论学科,“怎么算”以及算的内容等,都是由我们自己设定的。而计算机的能力,只是计算“数学”这个它未知的对象而已。事实上,我们现在讲的“命令式”、“函数式”或“说明式”,只是我们为计算机设定的“最基础的运算方式”。在这个“运算系统”中,“数学”并不是最初设定的。


命令式如何计算,函数式如何计算……诸如此类的问题了解清楚了,我们对这类语言也就了解了。至于什么高阶函数(higher-order function)、克里化(Currying)、延续(Continuation)或发生-迭代器(Generator-Iterator)之类,那已经是具体语言的表象,而非“这一类语言”的本质。举例来说,JavaScript 1.5 还没有实现过“生成器对象”(Generator Object),但并没有人否认它是函数式语言。反过来说,“Generator Object”原本就不是函数式语言的必备要素。


LISP 表达了函数式语言的全部“必备要素”,然而 LISP 七个原子运算也只是针对 LIST 这个结构抽象来说的。对于一个“(顺序的)表”,这七个原子运算是必需的,而对于另一个“(关系的)表”就未必如此了。所以某些原子运算,也不必放在函数式的必备要素中。像 LUA 这样的函数式语言实现方法的出现,也证明了这一点。1


1 LISP 的基础数据结构是索引数组(表,LIST),而 LUA 的基础数据结构是关联数组(表,MAP)。


那么函数式还剩什么?


要真正理解函数式的秘密,是要一个语言一个语言地学习下去吗?是要一种运算法一种运算法地学习下去吗?我们听完人家说“延续”,于是就开始了解延续,而没有去追问延续为什么出现在函数式里面,或它是不是函数式的必备要素,又或是函数式运算系统的自身的“问题”。我们正是迷失于种种语言和概念的表象,而最终没能像大师一样去思考“计算机不过是大笨象吃意大利面条”这样的抽象层面的问题。


我们要改变的是思想,我们要增强的是能力。大多数人只是增强能力,而不改变思想。这就是我们大多数人不是大师的原因。


图书简介https://www.ituring.com.cn/book/2429



相关阅读


程序原本(一):应用开发基础


程序原本(二):应用开发技术


程序原本(三):开发视角下的工程问题


程序原本(四):系统的基础部件


程序原本(五):海量数据运算中公开的秘术


程序原本(六):继承与混合,略谈系 统的构建方式


2020-02-16 14:001963

评论

发布
暂无评论
发现更多内容

全网最全的幻兽帕鲁服务器搭建教程—阿里云【保姆级/高性价比】

申公豹

幻兽帕鲁

极狐 GitLab 和 Xcode Cloud 集成,实现 iOS 的自动打包

极狐GitLab

文心一言 VS 讯飞星火 VS chatgpt (194)-- 算法导论14.3 2题

福大大架构师每日一题

福大大架构师每日一题

wrk压测

提前祝大家新年好!来看看社区 2023 都得了哪些奖吧~

声网

mac电脑好玩的游戏:帕斯卡契约:终极版 游戏模式,体验大升级

Rose

游戏 mac电脑 帕斯卡契约:终极版

文心一言 VS 讯飞星火 VS chatgpt (193)-- 算法导论14.3 1题

福大大架构师每日一题

福大大架构师每日一题

架构实战营模块 8 作业

陈斌

#架构实战营

GraphicConverter 12 mac图片浏览器:编辑、转换和增强图像

Rose

SublimeText中文破解版 简单易用的代码编辑器

Rose

代码编辑器 SublimeText

macs fan control pro破解版序列号 mac电脑风扇控制 v1.5.17中文版

Rose

苹果电脑 风扇转速控制 Macs Fan Control Pro

安卓动态链接库文件体积优化探索实践

京东科技开发者

一个线程,从“生”到“死”经历的过程

华为云开发者联盟

Java 线程 开发 华为云 华为云开发者联盟

口袋瑜伽 Pocket Yoga for mac 专业瑜伽课程 打造完美身材

Rose

瑜伽 Mac软件 瑜伽教学 Pocket Yoga

千万级数据深分页查询SQL性能优化实践-京东零售技术团队

京东零售技术

Java MySQL 后端

容器是怎么一步一步成为云原生的基石技术的

申屠鹏会

云计算 容器 云原生

FTP(文件传输协议)客户端 Transmit 5 中文for Mac v5.10.4

Rose

ftp Mac软件 ftp传输 Transmit 5

中文版3d lut creator pro调色软件下载 兼容M1

Rose

Mac软件 3d lut creator pro 调色

2023 年已知被利用最多的十大CWE漏洞排名

软件开发 华为云

Java 运算符详解与字符串处理技巧

小万哥

Java 程序人生 编程语言 软件工程 后端开发

《UNIX网络编程 卷2:进程间通信(第2版)》PDF

程序员李木子

【踩坑指南】线程池使用不当的五个坑

越长大越悲伤

Java 线程池 踩坑指南

Bookends for Mac(文献书籍管理工具)v14.2.9注册激活版

Rose

WiFi 7/QCN9274: Connecting the super network of the future

wallysSK

Microsoft Outlook将邮件、日历和联系人汇集一处,让你轻松管理一切

Rose

Office 邮件客户端 Microsoft Outlook

一张“哑火”的AI禁令

脑极体

AI

【YAML语法规范指南】从入门到精通,揭秘神秘语法,引领配置文件解析指南(基础结构篇)

码界西柚

配置 yaml 开发指南 yaml文件 2024年第三十二篇文章

Minitab Express:对数据进行整理、可视化、建模和预测

Rose

数据分析 数据统计 Minitab Express

程序原本(七):像大师们一样思考_文化 & 方法_周爱民_InfoQ精选文章