百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 技术文章 > 正文

60年了,LISP语言的进化史是否会引发你对AI未来的新思考?

itomcoil 2025-06-15 16:58 12 浏览

图: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

可以对当前表达式的子项执行六个指令:





CommandNameMnemonicExtra Inference
BIBoth In()+
BOBoth Out()-
LILeft In(+adds ) at end
LOLeft Out(-removes ) and EVERYTHING AFTER IT
RIRight In)<
RORight 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 CommandInitially Hidden?Teletype Command
()
same as BI
( inmiddle-click () to showsame as LI
) inmiddle-click () to showsame as RI
() out
same as BO
( outmiddle-click () out to showsame as LO
) outmiddle-click () out to showsame as RO

参见1985年出版的《Interlisp-D参考手册卷II:环境》第16章第407页

SEdit

点击此处运行

SEdit之后后代替了DEdit成为Interlisp的默认视觉结构编辑器。它允许用户直接输入pretty-print视图,并从DEdit中删除了单独的输入窗口。它可能看起来更接近于我们惯用的普通文本编辑器,但是好像结果和想象的有些不一样。

虽然它看起来似乎是一个正常的现代文本编辑器,但它仍然具有自动格式化结构编辑器的局限性。为了让用户在这些限制内获得最大程度的自由,围绕鼠标的性能制作了一个非常有趣的语言,允许用户以一种我只能描述为像vim一样的方式与结构进行交互。你可以查看这个记录来了解其独特的插入符号状态和选择类型。

看到这个新型鼠标的表现之后,我就明白了为什么在SEdit中删除了DEdit和电传编辑器中的大部分paren命令。鼠标原语只需最简单的paren命令(wrap / unwrap)就能很好地显示出来,就像热键一样:

HotkeyNameDescription
Meta-(Parenthesizewraps selection in a list. places after (
Meta-)Parenthesizewraps selection in a list. places after )
Meta-/Extractunwraps selected list, string, or quote

paren的正常插入、删除和点击具有以下行为:

Paren OperationDescription
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命令应该是那些与最简单的热键相关的命令:




HotkeyDescriptionwith number arg n
CTRL-(find unbalanced paren
META-(wrap () forwardsize n (default 0)
META-)move over next )

其他通过META-X运行并输入完整的命令(在自动完成的帮助下):

CommandDescriptionwith 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 expressionn jumps (can be negative)
META-X "Grow List Forward"move ) forward over an expressionn jumps (can be negative)
META-X "Make () Backward"wrap () backwardsize 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 - ?的状态行。

CommandDescription
move cursor to select an expression
6navigate into list (edit inline if atom)
4navigate out to parent list (exit if top)
ptoggle pretty-print
Paren CommandDescriptionExample
aadd parensa => (a)
rremove parens(a) => a
wwrap with nexta b => (a b)
cconjoin 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

相关推荐

麦克斯韦方程高斯-博内-陈定理嘉当外微分斯托克斯方程之间的联系

一、麦克斯韦方程的外微分形式1.电磁场张量的几何表示在微分几何中,电磁场由2-形式F描述,称为电磁场强形式:其中E为电场,B为磁场,dt为时间坐标。2.麦克斯韦方程的微分形式第二式(无...

机器视觉(四):空域图像增强(常见的空域图像增强处理方法有哪些)

一、图像处理技术概述1.定义对原始获取图像进行一系列的运算处理,称为图像处理。图像处理是机器视觉技术的方法基础,包括图像增强、边缘提取、图像分割、形态学处理、图像投影、配准定位和图像特征提取等方法。2...

基于机器视觉的安全气囊检测系统研究

21世纪以来,汽车行业发展迅猛。安全气囊作为汽车的安全辅助工具,它的出现大大降低了死亡率,因而必须确保其尺寸精确,并能正常使用。对安全气囊传统的检测方法主要是借助千分表、轮廓仪等工具进行人工抽检[...

高斯泼溅综合指南(高斯pp)

高斯泼溅(GaussianSplatting)是一种表示3D场景和渲染新视图的方法,在“实时辐射场渲染的3D高斯泼溅”中引入。它可以被认为是NeRF类模型的替代品,就像当年的NeRF...

基于DSP和ARM的电气化铁路接触线覆冰监测系统设计

张学武(中铁第一勘察设计院集团有限公司,陕西西安710043)摘要:为预防接触线上的冰害事故以及为除冰融冰提供支持,设计了集成视频传输、覆冰厚度测量、导线温度测量、现场微气象采集的接触线覆冰监测系...

OpenCV 线性滤波(opencv 线性拟合)

OpenCV线性滤波线性滤波图像滤波与滤波器图像滤波,指的是在尽量保留图像特征的条件下对目标图像得噪声进行抑制,是图像处理当中不可缺少的部分。平滑录播室低频增强的空间域滤波技术,它的目的有两类:一类...

几种典型的图像去噪算法总结(图像去噪的定义)

(一)高斯低通滤波去噪高斯低通滤波器(GaussianLowPassFilter)是一类传递函数为高斯函数的线性平滑滤波器。又由于高斯函数是正态分布的密度函数。因此高斯低通滤波器对于去除服从正态...

深度解析卷积:从原理到应用(卷积到底是什么)

一、卷积的基本概念卷积是一种在数学领域尤其是分析数学中占据重要地位的运算方式。它通过两个函数和来生成第三个函数。设和是上的两个可积函数,卷积的积分表达式为:。在离散情况下,卷积定义为。从...

基于混合高斯模型的物体成分拟合方法

郎波,樊一娜,黄静,王鹏(北京师范大学珠海分校信息技术学院,广东珠海519087)为了寻求代价更小、效率更高、适应性更强的图像原型表征方法,借鉴成分识别理论的观点,设计出一种更符合人类认知原...

30天Python 入门到精通(python入门到精通书籍)

以下是一个为期30天的Python入门到精通学习课程,专为零基础新手设计。课程从基础语法开始,逐步深入到面向对象编程、数据处理,最后实现运行简单的大语言模型(如基于HuggingFace...

Python 最好用的 8 个 VS Code 扩展

1.PythonextensionforVisualStudioCode这个扩展是由微软官方提供的,支持但不仅限于以下功能:通过Pylint或Flake8支持代码检查在VSCo...

Textual:为 Python 增加漂亮的文本用户界面(TUI)

导读:如果你的代码是用Python编写的,你应该使用Textual来帮助你编写TUI(文本用户界面)。快速入门使用TextualPython在Linux上有像TkInterdocs...

pytest框架进阶自学系列 | 常用插件的使用

书籍来源:房荔枝梁丽丽《pytest框架与自动化测试应用》一边学习一边整理老师的课程内容及实验笔记,并与大家分享,侵权即删,谢谢支持!附上汇总贴:pytest框架进阶自学系列|汇总_热爱编程的通...

ShapeNet数据集及dataset代码分析

1.数据集简介ShpaeNet是点云中一个比较常见的数据集,它能够完成部件分割任务,即部件知道这个点云数据大的分割,还要将它的小部件进行分割。它总共包括十六个大的类别,每个大的类别有可以分成若干个小类...

「教程」5 分钟带你入门 kivy(怎么学kp)

原创:星安果AirPythonkivy语言通过编写界面UI,然后利用Python定义一些业务逻辑,可以移植很多功能模块到移动端直接执行。下面对kivy常见用法做一个汇总。1、什么是...