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

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

xsobi 2024-12-22 21:33 1 浏览

图:pixabay

作为长期垄断AI领域的高级计算机语言程序,Lisp语言到底经过了怎样的变迁?也许,我们可能已经忘记了一些在今天仍然有用的东西,或者说,至少了解这些历史对一些新的想法产生有所影响。

?2015-Parinfer

?2014-Paxedit

?2014- Lispy

?2012-Smartparens

?2005-Paredit by Taylor Campbell

?2001-DrScheme, 现在是DrRacket

...

?1987-Interlisp SEdit (结构编辑器,全面交互式显示)

?198?-Interlisp DEdit (显示编辑器,可点击显示+命令窗口)

?1980-Lispedit (显示编辑器)

?1980-Zmacs-用于文本编辑器的第一个结构命令

?1979-Nokolisp-基于屏幕的编辑器

...

?1967-BBN (InterLisp) - (电传机机构编辑器)

?1966-PILOT-第一篇关于结构编辑的论文

Interlisp

在Interlisp中,程序员使用的源代码是由结构编辑器提供的,而此编辑器是以内存驻留Lisp数据结构的形式运行在源代码上。

——Lisp进化论

Teletype Editor(电传编辑器)

点击此处运行

用于编辑s表达式的命令行界面。在每个命令之后每次只显示一个表达式,而非显示整个文件。

?使用N来转到当前表达式的第N个子项

?使用0来跳转到母表达式

?嵌套子表达式默认为&

?用来进行扩展

?用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体验

?Richard 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

?作者回复: 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

?后续讨论结构化编辑器如何死亡: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讨论

?修剪:https://www.facebook.com/notes/kent-beck/prune-a-code-editor-that-is-not-a-text-editor/1012061842160013/

?基于框架的编辑:https://news.ycombinator.com/item?id = 14609215

?意图编程:https://www.youtube.com/watch?v = tSnnfUj1XCQ

类似于Interlisp(即基于结构的)

研究方法

从Paredit credits开始:

Paredit的原始灵感是Interlisp-D的结构编辑器“SEdit”——一个真正的结构编辑器,而不是像paredit这样的俗气仿制品和GNU Emacs项目下Guillaume Germain的sedit.el。

?查找邮件列表讨论

?寻找lisp机器的官方参考手册

?用deepdyve寻找相关文章

?问问周围

总结:

?Lisp的演变似乎为今后的AI发展提供了一个很好的指引方向

?http://www.softwarepreservation.org/projects/LISP/

来源:https://github.com/

作者:shaunlebron

相关推荐

js向对象中添加元素(对象,数组) js对象里面添加元素

一、添加一个元素对象名["属性名"]=值(值:可以是一个值,可以是一个对象,也可以是一个数组)这样添加进去的元素,就是一个值或对象或数组...

JS小技巧,如何去重对象数组?(一)

大家好,关于数组对象去重的业务场景,想必大家都遇到过类似的需求吧,这对这样的需求你是怎么做的呢。下面我就先和大家分享下如果是基于对象的1个属性是怎么去重实现的。方法一:使用.filter()和....

「C/C++」之数组、vector对象和array对象的比较

数组学习过C语言的,对数组应该都不会陌生,于是这里就不再对数组进行展开介绍。模板类vector模板类vector类似于string,也是一种动态数组。能够在运行阶段设置vector对象的长度,可以在末...

如何用sessionStorage保存对象和数组

背景:在工作中,我将[{},{}]对象数组形式,存储到sessionStorage,然后ta变成了我看不懂的形式,然后我想取之用之,发现不可能了~记录这次深刻的教训。$clickCouponIndex...

JavaScript Array 对象 javascript的array对象

Array对象Array对象用于在变量中存储多个值:varcars=["Saab","Volvo","BMW"];第一个数组元素的索引值为0,第二个索引值为1,以此类推。更多有...

JavaScript中的数组Array(对象) js array数组

1:数组Array:-数组也是一个对象-数组也是用来存储数据的-和object不同,数组中可以存储一组有序的数据,-数组中存储的数据我们称其为元素(element)-数组中的每一个元素都有一...

数组和对象方法&amp;数组去重 数组去重的5种方法前端

列举一下JavaScript数组和对象有哪些原生方法?数组:arr.concat(arr1,arr2,arrn);--合并两个或多个数组。此方法不会修改原有数组,而是返回一个新数组...

C++ 类如何定义对象数组?初始化数组?linux C++第43讲

对象数组学过C语言的读者对数组的概念应该很熟悉了。数组的元素可以是int类型的变量,例如int...

ElasticSearch第六篇:复合数据类型-数组,对象

在ElasticSearch中,使用JSON结构来存储数据,一个Key/Value对是JSON的一个字段,而Value可以是基础数据类型,也可以是数组,文档(也叫对象),或文档数组,因此,每个JSON...

第58条:区分数组对象和类数组对象

示例设想有两个不同类的API。第一个是位向量:有序的位集合varbits=newBitVector;bits.enable(4);bits.enable([1,3,8,17]);b...

八皇后问题解法(Common Lisp实现)

如何才能在一张国际象棋的棋盘上摆上八个皇后而不致使她们互相威胁呢?这个著名的问题可以方便地通过一种树搜索方法来解决。首先,我们需要写一个函数来判断棋盘上的两个皇后是否互相威协。在国际象棋中,皇后可以沿...

visual lisp修改颜色的模板函数 怎么更改visual studio的配色

(defunBF-yansemokuai(tuyuanyanse/ss)...

用中望CAD加载LISP程序技巧 中望cad2015怎么加载燕秀

1、首先请加载lisp程序,加载方法如下:在菜单栏选择工具——加载应用程序——添加,选择lisp程序然后加载,然后选择添加到启动组。2、然后是添加自定义栏以及图标,方法如下(以...

图的深度优先搜索和广度优先搜索(Common Lisp实现)

为了便于描述,本文中的图指的是下图所示的无向图。搜索指:搜索从S到F的一条路径。若存在,则以表的形式返回路径;若不存在,则返回nil。...

两个有助于理解Common Lisp宏的例子

在Lisp中,函数和数据具有相同的形式。这是Lisp语言的一个重大特色。一个Lisp函数可以分析另一个Lisp函数;甚至可以和另一个Lisp函数组成一个整体,并加以利用。Lisp的宏,是实现上述特色的...