※ 引述《int0x80 (后悔なんてあるわけない)》之铭言:
: 在还是实体上课的时候,偶然听到坐我后面的人在聊天
: 他们好像某门课要写组语,其中一个人说了:
: “终于在写真正的程式了”
: 这我就觉得蛮有趣的了,关于什么叫真正的程式这一点
: 我觉得应该会有两种答案吧
: 第一种会觉得越底层就越接近真正的程式
: 真正的程式就是那台由各种分子组成的机器
: 而程式码只是我们控制这台机器会怎么跑的方式
: 第二种反而会觉得越高级的语言越接近真正的程式
: 真正的程式是抽象的,像是输入会怎么对应到输出
: 组语、机器码只是我们用来“实作”我们想像中的程式的方式
国内资工系
学失崇尚的是一种写程式的工程师思维路径,
而不是电脑科学家的思维
台大资工的理论课与数学课太少了
用实际的例子来说,台大资工的学生很少有人知道什么事
programming language theory
不知道lambda calculus
没听过type theory
更遑论Hoare logic或事formal verification
甚至荒灭的认为所谓学习写程式
就是要越接近机器语言与组合语言的方向走