60年了，LISP语言的进化史是否会引发你对AI未来的新思考?
zhezhongyun 2025-05-08 22:24 7 浏览
图：pixabay
作为长期垄断AI领域的高级计算机语言程序，Lisp语言到底经过了怎样的变迁？也许，我们可能已经忘记了一些在今天仍然有用的东西，或者说，至少了解这些历史对一些新的想法产生有所影响。
o2015-Parinfer
o2014-Paxedit
o2014- Lispy
o2012-Smartparens
o2005-Paredit by Taylor Campbell
o2001-DrScheme, 现在是DrRacket
...
o1987-Interlisp SEdit (结构编辑器，全面交互式显示)
o198?-Interlisp DEdit (显示编辑器，可点击显示+命令窗口)
o1980-Lispedit (显示编辑器)
o1980-Zmacs-用于文本编辑器的第一个结构命令
o1979-Nokolisp-基于屏幕的编辑器
...
o1967-BBN (InterLisp) - (电传机机构编辑器)
o1966-PILOT-第一篇关于结构编辑的论文
Interlisp
在Interlisp中，程序员使用的源代码是由结构编辑器提供的，而此编辑器是以内存驻留Lisp数据结构的形式运行在源代码上。
——Lisp进化论
Teletype Editor（电传编辑器）
点击此处运行
用于编辑s表达式的命令行界面。在每个命令之后每次只显示一个表达式，而非显示整个文件。
o使用N来转到当前表达式的第N个子项
o使用0来跳转到母表达式
o嵌套子表达式默认为&
o用？来进行扩展
o用pp来进行pretty-print
可以对当前表达式的子项执行六个指令：
| Command | Name | Mnemonic | Extra Inference |
|---|---|---|---|
BI | Both In | ()+ | |
BO | Both Out | ()- | |
LI | Left In | (+ | adds ) at end |
LO | Left Out | (- | removes ) and EVERYTHING AFTER IT |
RI | Right In | )< | |
RO | Right Out | )> |
(A B C D E F G H)
(A B C D E F G H)
(A B C D E F G H)
(A B (C D E) F G H)
(A B (C D E F G H))
请参阅1967年出版的《Lisp系统》第49页——“结构改变命令”部分
DEdit
显示编辑器是电传编辑器的可视替代方法，在pretty-print中单击一个或两个表达式，然后单击一个命令使其在这些表达式上执行。
1.pretty-print窗口（左）——单击以选择表达式（current = solid-lined，previous = dash-lined）
2.命令菜单（右）——单击以执行选择操作（current = arg1，previous = arg2）
3.键入窗口（下方）——手动输入表达式。完成后，它将显示被选中状态并可点击
单击表达式，按住Shift键，将未读取到的输入到类型输入窗口（作为文本进行粘贴）。
1.左键——选择对象
2.中间点击——选择包含列表
3.右键单击——选择和先前选择共有的最低公共父节点
| DEdit Paren Command | Initially Hidden? | Teletype Command |
|---|---|---|
() | same as BI | |
( in | middle-click () to show | same as LI |
) in | middle-click () to show | same as RI |
() out | same as BO | |
( out | middle-click () out to show | same as LO |
) out | middle-click () out to show | same as RO |
参见1985年出版的《Interlisp-D参考手册卷II：环境》第16章第407页
SEdit
点击此处运行
SEdit之后后代替了DEdit成为Interlisp的默认视觉结构编辑器。它允许用户直接输入pretty-print视图，并从DEdit中删除了单独的输入窗口。它可能看起来更接近于我们惯用的普通文本编辑器，但是好像结果和想象的有些不一样。
虽然它看起来似乎是一个正常的现代文本编辑器，但它仍然具有自动格式化结构编辑器的局限性。为了让用户在这些限制内获得最大程度的自由，围绕鼠标的性能制作了一个非常有趣的语言，允许用户以一种我只能描述为像vim一样的方式与结构进行交互。你可以查看这个记录来了解其独特的插入符号状态和选择类型。
看到这个新型鼠标的表现之后，我就明白了为什么在SEdit中删除了DEdit和电传编辑器中的大部分paren命令。鼠标原语只需最简单的paren命令（wrap / unwrap）就能很好地显示出来，就像热键一样：
| Hotkey | Name | Description |
|---|---|---|
Meta-( | Parenthesize | wraps selection in a list. places ▲ after ( |
Meta-) | Parenthesize | wraps selection in a list. places ▲ after ) |
Meta-/ | Extract | unwraps selected list, string, or quote |
paren的正常插入、删除和点击具有以下行为：
| Paren Operation | Description |
|---|---|
Type ( | inserts () with ▲ inside |
Type ) | nothing inserted. places ▲ after next ). selects whole list |
Backspace at ( | removes list if empty, else no-op |
Backspace at ) | nothing deleted. places ▲ before ) |
Middle-click ( | selects list. places ▲ on clicked side of ( |
Middle-click ) | selects list. places ▲ on clicked side of ) |
详情可参阅附录B中的1987年Lyric发行说明或Medley发行说明，以及列表1，2
Zmacs
点击此处运行
据报道，1980年的Zmacs是第一个基于文本的编辑器，具有自动平衡paren操作。
当光标触摸到列表的外部时，相应的paren将闪烁。这是现如今所有文字编辑器的主要功能。
主要的paren命令应该是那些与最简单的热键相关的命令：
| Hotkey | Description | with number arg n |
|---|---|---|
CTRL-( | find unbalanced paren | |
META-( | wrap () forward | size n (default 0) |
META-) | move over next ) |
其他通过META-X运行并输入完整的命令（在自动完成的帮助下）：
| Command | Description | with number arg n |
|---|---|---|
META-X "Close Definition" | inserts enough ))))) to end definition | |
META-X "Delete ()" | delete ( and matching ) | n th innermost () |
META-X "Grow List Backward" | move ( backward over an expression | n jumps (can be negative) |
META-X "Grow List Forward" | move ) forward over an expression | n jumps (can be negative) |
META-X "Make () Backward" | wrap () backward | size n (default 1) |
要将数字arg传递给热键，请执行CTRL-1，CTRL-0，META（例如，将下一个10元素包含在列表中。
参见1987年的《Zmacs编辑手册》（第209页）（3-137）
Lispedit
我必须说，我希望我可以再次使用LISP / VM和Martin's 编辑器。在我曾经用过LISP的任何编辑器后，我一直觉得它以最高的效率，提供了最好的界面。
——Cyril N. Alberga
Lispedit的一个重要特征是从所选子表达式的角度显示Lisp表达式的结构的程序显示。 称为focus的子表达式被显示为高亮度，并且其与周围上下文的关系由自动生成的缩进显示。为了将大型表达式压缩到有限屏幕的限制，focus的选定组件及其上下文被省略（显示为“...”）
——《在Lispedit中执行程序》
Lispedit看起来没有图像幸存，但是可以从描述中重建：
TOP DISPLAY AREA: pretty-printed and condensed code ▲│
请参阅1984年出版的《LISP / VM用户指南》和《非同寻常的Lisp体验》。
Nokolisp
点击这里运行
1979年，Nokolisp的编辑器被作为创作者对第一个Interlisp电传编辑器的反攻，看起来它可能是一个基于屏幕的编辑器。
而不是传统pretty-print为基础的编辑后的画面，nokolisp编辑器显示在每一行中，可以让你移动光标逐行选择一个操作。例如:
0> fib
这将显示以下编辑器视图：
┌──────────────────────────────────────────────┐
（注意&省略了相符的长表达式。）
_游标最初在第一行。如果我们移动_到第三行，我们可以选择并关注它来查看我们的下一个视图：
BOOT fib 1 0 │
BOOT fib 1 0 是标明 filename - function - level - ?的状态行。
| Command | Description |
|---|---|
| move cursor to select an expression |
6 | navigate into list (edit inline if atom) |
4 | navigate out to parent list (exit if top) |
p | toggle pretty-print |
| Paren Command | Description | Example |
|---|---|---|
a | add parens | a => (a) |
r | remove parens | (a) => a |
w | wrap with next | a b => (a b) |
c | conjoin with next | (a) b => (a b) |
查看所有的nokolisp命令
Maclisp
（针对程序的数据结构的首选格式化ASCII文件）
Maclisp vs Interlisp的对比思考（即将代码存储为文本VS存储为结构）
1978年的讨论/辩论，揭示了人们在存储和显示代码时如何思考文本与结构的关系：
在互动环境中编程：Lisp体验
oRichard Stallman有关文本的回应：
https://www.deepdyve.com/lp/association-for-computing-machinery/surveyor-s-forum-structured-editing-with-a-lisp-PzoXAz9GCu?impressionId=594bfe8baf9dc&i_medium=mydeepdyve&i_campaign=recommendations&i_source=recommendations
o作者回复：
https://www.deepdyve.com/lp/association-for-computing-machinery/surveyor-s-forum-structured-editing-with-a-lisp-mQNqMU2je0?impressionId=594c0f05171ea&i_medium=docview&i_campaign=recommendations&i_source=recommendations
o后续讨论结构化编辑器如何死亡：
https://groups.google.com/forum/#!
msg/comp.lang.lisp/D2Q5t8IEOkg/AqbNfOxZgUIJ
Maclisp结束了它，因为他们想要自定义代码和注释的布局。
这是1997年以来我最喜欢的这个话题的总结（内含非常多重要观点）。
https://groups.google.com/d/msg/comp.lang.lisp/dldLx8Yj7q8/u4y2zq19XIYJ
附录
关于结构编辑的Non-Lisp讨论
o修剪：https：
//www.facebook.com/notes/kent-beck/prune-a-code-editor-that-is-not-a-text-editor/1012061842160013/
o基于框架的编辑：https：
//news.ycombinator.com/item？id = 14609215
o意图编程：https：//www.youtube.com/watch？v = tSnnfUj1XCQ
类似于Interlisp（即基于结构的）
研究方法
从Paredit credits开始：
Paredit的原始灵感是Interlisp-D的结构编辑器“SEdit”——一个真正的结构编辑器，而不是像paredit这样的俗气仿制品和GNU Emacs项目下Guillaume Germain的sedit.el。
o查找邮件列表讨论
o寻找lisp机器的官方参考手册
o用deepdyve寻找相关文章
o问问周围
总结：
oLisp的演变似乎为今后的AI发展提供了一个很好的指引方向
ohttp://www.softwarepreservation.org/projects/LISP/
来源：https://github.com/
作者：shaunlebron
相关推荐
- 「layui」表单验证:验证注册
-
注册界面手动验证获取短信验证码代码原文<!DOCTYPEhtml><htmllang="zh"><head>&...
- Full text: Joint statement between China and Kenya on creating an inspiring example in the all-weather China-Africa community with a shared future for the new era
-
JointStatementBetweenthePeople'sRepublicofChinaandtheRepublicofKenyaonCreatinganInspi...
- 国际组织最新岗位信息送给你
-
国际刑警组织PostingTitleITLogisticsManagerGrade5DutyStationAbidjan,IvoryCoastDeadlineforApplicatio...
- 【新功能】Spire.PDF 8.12.5 支持设置表单域的可见与隐藏属性
-
Spire.PDF8.12.5已发布。该版本新增支持设置表单域的可见与隐藏属性、添加自定义的元数据以及给PDF文档的元数据添加新的命名空间。本次更新还增强了PDF到DOCX和图片的转换...
- AI curbs show Biden's rejection of cooperation
-
AIcurbsshowBiden'srejectionofcooperation:ChinaDailyeditorial-Opinion-Chinadaily.com.cnT...
- “煤气灯效应”上热搜，这几种有毒的“情感关系”也要注意了……
-
近日，“煤气灯效应”（theGaslightEffect）再次进入公众视野并登上热搜，引发网友广泛关注。那么，什么是“煤气灯效应”？以“爱”之名进行情绪控制在心理学中，通过“扭曲受害者眼中的真实”...
- Qt编写推流程序/支持webrtc265/从此不用再转码/打开新世界的大门
-
一、前言在推流领域，尤其是监控行业，现在主流设备基本上都是265格式的视频流，想要在网页上直接显示监控流，之前的方案是，要么转成hls，要么魔改支持265格式的flv，要么265转成264，如果要追求...
- 写给运维的Nginx秘籍
-
要说Web服务器、代理服务器和调度服务器层面，目前使用最大的要数Nginx。对于一个运维工程师日常不可避免要和Nginx打交道。为了更好地使用和管理Nginx，本文就给大家介绍几个虫虫日常常用的秘籍。...
- 突破亚马逊壁垒，Web Unlocker API 助您轻松获取数据
-
在数据驱动决策的时代，电商平台的海量数据是十足金贵的。然而，像亚马逊这样的巨头为保护自身数据资产，构建了近乎完美的反爬虫防线，比如IP封锁、CAPTCHA验证、浏览器指纹识别，常规爬虫工具在这些防线面...
- 每日一库之 logrus 日志使用教程
-
golang日志库golang标准库的日志框架非常简单,仅仅提供了print,panic和fatal三个函数对于更精细的日志级别、日志文件分割以及日志分发等方面并没有提供支持.所以催生了很多第三方...
- 对比测评:为什么AI编程工具需要 Rules 能力?
-
通义灵码ProjectRules在开始体验通义灵码ProjectRules之前，我们先来简单了解一下什么是通义灵码ProjectRules？大家都知道，在使用AI代码助手的时候，有时...
- python 面向对象编程
-
Python的面向对象编程（OOP）将数据和操作封装在对象中，以下是深度解析和现代最佳实践：一、核心概念重构1.类与实例的底层机制classRobot:__slots__=['...
- Windows系统下常用的Dos命令介绍(一)
-
DOS是英文DiskOperatingSystem的缩写，意思是“磁盘操作系统”。DOS主要是一种面向磁盘的系统软件，说得简单些，DOS就是人给机器下达命令的集合，是存储在操作系统中的命令集。主要...
- 使用 Flask-Admin 快速开发博客后台管理系统:关键要点解析
-
一、为什么选择Flask-Admin？Flask-Admin是Flask生态中高效的后台管理框架，核心优势在于：-零代码生成CRUD界面：基于数据库模型自动生成增删改查功能-高度可定制...
- Redis淘汰策略导致数据丢失?
-
想象一下，你的Redis服务器是一个合租宿舍，内存就是床位。当新数据（新室友）要住进来，但床位已满时，你作为宿管（淘汰策略）必须决定：让谁卷铺盖走人？Redis提供了8种"劝退"方案，...
- 一周热门
- 最近发表
-
- 「layui」表单验证:验证注册
- Full text: Joint statement between China and Kenya on creating an inspiring example in the all-weather China-Africa community with a shared future for the new era
- 国际组织最新岗位信息送给你
- 【新功能】Spire.PDF 8.12.5 支持设置表单域的可见与隐藏属性
- AI curbs show Biden's rejection of cooperation
- “煤气灯效应”上热搜，这几种有毒的“情感关系”也要注意了……
- Qt编写推流程序/支持webrtc265/从此不用再转码/打开新世界的大门
- 写给运维的Nginx秘籍
- 突破亚马逊壁垒，Web Unlocker API 助您轻松获取数据
- 每日一库之 logrus 日志使用教程
- 标签列表
-
- HTML 教程 (33)
- HTML 简介 (35)
- HTML 实例/测验 (32)
- HTML 测验 (32)
- HTML 参考手册 (28)
- JavaScript 和 HTML DOM 参考手册 (32)
- HTML 拓展阅读 (30)
- HTML常用标签 (29)
- HTML文本框样式 (31)
- HTML滚动条样式 (34)
- HTML5 浏览器支持 (33)
- HTML5 新元素 (33)
- HTML5 WebSocket (30)
- HTML5 代码规范 (32)
- HTML5 标签 (717)
- HTML5 标签 (已废弃) (75)
- HTML5电子书 (32)
- HTML5开发工具 (34)
- HTML5小游戏源码 (34)
- HTML5模板下载 (30)
- HTTP 状态消息 (33)
- HTTP 方法：GET 对比 POST (33)
- 键盘快捷键 (35)
- 标签 (226)
- HTML button formtarget 属性 (30)