60年了,LISP语言的进化史是否会引发你对AI未来的新思考?
zhezhongyun 2025-05-08 22:24 37 浏览
图: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
相关推荐
- Python入门学习记录之一:变量_python怎么用变量
-
写这个,主要是对自己学习python知识的一个总结,也是加深自己的印象。变量(英文:variable),也叫标识符。在python中,变量的命名规则有以下三点:>变量名只能包含字母、数字和下划线...
- python变量命名规则——来自小白的总结
-
python是一个动态编译类编程语言,所以程序在运行前不需要如C语言的先行编译动作,因此也只有在程序运行过程中才能发现程序的问题。基于此,python的变量就有一定的命名规范。python作为当前热门...
- Python入门学习教程:第 2 章 变量与数据类型
-
2.1什么是变量?在编程中,变量就像一个存放数据的容器,它可以存储各种信息,并且这些信息可以被读取和修改。想象一下,变量就如同我们生活中的盒子,你可以把东西放进去,也可以随时拿出来看看,甚至可以换成...
- 绘制学术论文中的“三线表”具体指导
-
在科研过程中,大家用到最多的可能就是“三线表”。“三线表”,一般主要由三条横线构成,当然在变量名栏里也可以拆分单元格,出现更多的线。更重要的是,“三线表”也是一种数据记录规范,以“三线表”形式记录的数...
- Python基础语法知识--变量和数据类型
-
学习Python中的变量和数据类型至关重要,因为它们构成了Python编程的基石。以下是帮助您了解Python中的变量和数据类型的分步指南:1.变量:变量在Python中用于存储数据值。它们充...
- 一文搞懂 Python 中的所有标点符号
-
反引号`无任何作用。传说Python3中它被移除是因为和单引号字符'太相似。波浪号~(按位取反符号)~被称为取反或补码运算符。它放在我们想要取反的对象前面。如果放在一个整数n...
- Python变量类型和运算符_python中变量的含义
-
别再被小名词坑哭了:Python新手常犯的那些隐蔽错误,我用同事的真实bug拆给你看我记得有一次和同事张姐一起追查一个看似随机崩溃的脚本,最后发现罪魁祸首竟然是她把变量命名成了list。说实话...
- 从零开始:深入剖析 Spring Boot3 中配置文件的加载顺序
-
在当今的互联网软件开发领域,SpringBoot无疑是最为热门和广泛应用的框架之一。它以其强大的功能、便捷的开发体验,极大地提升了开发效率,成为众多开发者构建Web应用程序的首选。而在Spr...
- Python中下划线 ‘_’ 的用法,你知道几种
-
Python中下划线()是一个有特殊含义和用途的符号,它可以用来表示以下几种情况:1在解释器中,下划线(_)表示上一个表达式的值,可以用来进行快速计算或测试。例如:>>>2+...
- 解锁Shell编程:变量_shell $变量
-
引言:开启Shell编程大门Shell作为用户与Linux内核之间的桥梁,为我们提供了强大的命令行交互方式。它不仅能执行简单的文件操作、进程管理,还能通过编写脚本实现复杂的自动化任务。无论是...
- 一文学会Python的变量命名规则!_python的变量命名有哪些要求
-
目录1.变量的命名原则3.内置函数尽量不要做变量4.删除变量和垃圾回收机制5.结语1.变量的命名原则①由英文字母、_(下划线)、或中文开头②变量名称只能由英文字母、数字、下画线或中文字所组成。③英文字...
- 更可靠的Rust-语法篇-区分语句/表达式,略览if/loop/while/for
-
src/main.rs://函数定义fnadd(a:i32,b:i32)->i32{a+b//末尾表达式}fnmain(){leta:i3...
- C++第五课:变量的命名规则_c++中变量的命名规则
-
变量的命名不是想怎么起就怎么起的,而是有一套固定的规则的。具体规则:1.名字要合法:变量名必须是由字母、数字或下划线组成。例如:a,a1,a_1。2.开头不能是数字。例如:可以a1,但不能起1a。3....
- Rust编程-核心篇-不安全编程_rust安全性
-
Unsafe的必要性Rust的所有权系统和类型系统为我们提供了强大的安全保障,但在某些情况下,我们需要突破这些限制来:与C代码交互实现底层系统编程优化性能关键代码实现某些编译器无法验证的安全操作Rus...
- 探秘 Python 内存管理:背后的神奇机制
-
在编程的世界里,内存管理就如同幕后的精密操控者,确保程序的高效运行。Python作为一种广泛使用的编程语言,其内存管理机制既巧妙又复杂,为开发者们提供了便利的同时,也展现了强大的底层控制能力。一、P...
- 一周热门
- 最近发表
- 标签列表
-
- HTML 教程 (33)
- HTML 简介 (35)
- HTML 实例/测验 (32)
- HTML 测验 (32)
- JavaScript 和 HTML DOM 参考手册 (32)
- HTML 拓展阅读 (30)
- 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)
- opacity 属性 (32)
- transition 属性 (33)
- 1-1. 变量声明 (31)
