编程语言与软件工程2017softwarepreservation.org编辑精选
一种用于符号表达式操作的代数语言(1958)
An Algebraic Language for the Manipulation of Symbolic Expressions (1958)
进阶 · 约 35 分钟读完前置知识:基本编程概念、链表与内存布局、符号表达式/递归
导读
这是 John McCarthy 1958 年在 MIT 写的 AI 备忘录(AIM-001),提出一种用于操作符号表达式的代数语言,被视为 Lisp 的前身。文中讨论了符号表达式的表示方式,包括链表及其所需的内存结构,还讨论了定长列表取第 n 个元素之类操作不够方便的问题。
HN 关注点:Lisp 诞生前的原始文献本身,以及文中的链表描述为何至今看来仍简洁有力。
后来怎么样
作为 Lisp 的直接前身,它关于符号表达式表示与链表内存结构的讨论影响了后续 Lisp 和符号计算语言的设计。
HN 评论精选
这几条评论里:支持 1 补充 3
补充指出文中出现的 Gelernter 是 FLPL 作者 Herbert,并提到其子 David Gelernter 也是知名计算机科学家。
读这篇文章时,Gelernter 这个名字吸引了我的注意。等等,不就是那个……不对,那是他父亲 Herbert,他和 Nathaniel Rochester 一起在 FORTRAN 里实现了一门用于列表处理的计算机语言,即 Fortran list processing language (FLPL)。他的儿子 David 在 McCarthy 写这篇论文时大概才 3 岁,后来也对计算机科学产生了自己的影响。
fernly查看英文原文
Reading this my eye was caught by the name Gelernter. Wait, wasn't that the guy who... no, it was his father, Herbert[1], who > implemented, with Nathaniel Rochester, a computer language for list processing within FORTRAN ... the Fortran list processing language (FLPL) His son David, who would have been 3yo at the time McCarthy wrote this paper, has had his own effect on computer science[2]. [1] https://en.wikipedia.org/wiki/Herbert_Gelernter [2] https://en.wikipedia.org/wiki/David_Gelernter
支持第 10 页对链表及内存结构的描述简洁而优美。
第 10 页。那里描述了链表,以及让多个链表相互交织所需的内存结构。极其简单、强大,在我看来还很优美。
shakna查看英文原文
Page 10. A description of a linked list, and the memory structures required to intermingle them. Incredibly simple, powerful, and to my eyes, beautiful.
补充推荐 softwarepreservation.org 的历史资料,认为当年仅存于理论的想法值得重看。
softwarepreservation.org 上有一些很有意思的内容。其中很多想法在当年只是理论上可行,现在正是重温它们的好时机。
newman8r查看英文原文
They've got some interesting content http://www.softwarepreservation.org/projects/ A lot of ideas about what was only theoretically possible at the time - good time to revisit.
补充引用论文中关于定长列表取第 n 个元素不便的说法,认为其表述耐人寻味。
“这种语言不太方便表示定长列表,因为人们常常想取第 n 个元素,而 n 是算出来的,并非由 n-1 加 1 得到。”我觉得这种说法很有意思,让我想了一会儿。
cjauvin查看英文原文
It [the language] is not so convenient for representing lists of fixed length where one frequently wants the nth element where n is computed rather than obtained by adding 1 to n-1. I find this is an interesting way of saying it, it made me think for a moment..
历次讨论
- 2017Hacker News 讨论帖171 分 · 12 评
同领域还值得读
Google 的软件工程(2017)
Software Engineering at Google (2017)
介绍了 Google 的软件工程实践,包括其单一代码库(monorepo)、几乎全部开发在主干进行而非分支、代码审查、构建系统 Blaze、协议缓冲区等工具与流程,并讨论了频繁重…
编程语言与软件工程2017 · 1,127 分 · 465 评 · 引用 15入门 · 约 45 分钟编辑精选Peter Naur:编程作为理论构建 (1985)
Peter Naur – Programming as Theory Building (1985)
Peter Naur 1985 年的经典论文《Programming as Theory Building》提出:编程的本质不是写代码或文档,而是在程序员头脑中构建对程序及其运行…
编程语言与软件工程2016 · 629 分 · 74 评入门 · 约 45 分钟编辑精选SciPy 1.0:Python 科学计算的基础算法
SciPy 1.0: fundamental algorithms for scientific computing in Python
这篇发表于 Nature Methods 的论文介绍了 SciPy 1.0——Python 科学计算生态的基石库,涵盖其核心算法模块(优化、积分、插值、线性代数等)、软件架构与社…
编程语言与软件工程2020 · 387 分 · 98 评入门 · 约 45 分钟编辑精选Lisp 的历史(1979)
History of Lisp (1979)
这是 Lisp 发明者 John McCarthy 于 1979 年为 HOPL(编程语言史)会议撰写的回顾文章,讲述 Lisp 的起源、设计动机与早期演进,文中也涉及 if 表…
编程语言与软件工程2018 · 352 分 · 44 评入门 · 约 45 分钟编辑精选使用 NumPy 进行数组编程
Array Programming with NumPy
这篇 Nature 文章介绍 NumPy 的数组编程模型及其在科学计算中的核心作用:以 ndarray 为中心,通过向量化操作让 Python 高效处理多维数组。
编程语言与软件工程2020 · 318 分 · 134 评入门 · 约 40 分钟编辑精选