imported>Mhss：/* top */

2026-03-22T06:12:37Z

top

新页面

{{Infobox programming language
| name = Lispkit Lisp
| screenshot = 
| screenshot caption =
| paradigm =[[纯函数式编程|纯函数式]]
| family = [[LISP]]
| designer = Peter Henderson
| developer = 
| released = {{Start date and age|1980}}
| typing =
| scope = [[作用域|词法]]
| programming language = [[ALGOL]], [[Pascal语言|Pascal]], [[C语言|C]]
| discontinued = Yes
| platform =
| operating system =
| license =
| file ext =
| file format = 
| website = 
| implementations =
| dialects =
| influenced by = [[ALGOL]], [[LISP]]
| influenced =
}}
'''LispKit Lisp'''是[[词法作用域]]的[[纯函数式编程|纯函数式]]的[[LISP|Lisp]]语言子集，它是作为[[函数式编程]]概念的测试台而开发的。它首先使用了对[[惰性求值]]的早期经验。在1980年开发者Peter Henderson，出版了用一种变体[[ALGOL]]语言写的基于[[SECD抽象机]]的实现<ref name="henderson">{{cite book | last=Henderson | first=Peter | title=Functional Programming: Application and Implementation | url=https://epdf.pub/functional-programming-application-and-implementation.html | year=1980 | publisher=Prentice Hall | isbn=0-13-331579-7 | access-date=2021-12-28 | archive-date=2021-12-28 | archive-url=https://web.archive.org/web/20211228111622/https://epdf.pub/functional-programming-application-and-implementation.html }}</ref>。它的[[编译器]]和[[虚拟机]]都是高度可移植的，并已经在多种机器上实现<ref>{{cite web|title=An implementation of the Lispkit described in the book "FUNCTIONAL PROGRAMMING: Application and Implementation", by Peter Henderson|url=https://github.com/carld/lispkit|access-date=2021-12-28|archive-date=2021-12-30|archive-url=https://web.archive.org/web/20211230072756/https://github.com/carld/lispkit}}</ref>。

== 基本函数 ==
基本语言只提供了下列函数，但在Henderson的书中讨论了明确支持[[惰性求值]]和[[非确定性编程]]的扩展。
*<code>(quote <exp>)</code>：接受一个表达式，返回这个表达式为一个值。
*<code>(eq <exp1> <exp2>)</code>：接受二个表达式，如果它们的值相等，则返回符号<code>T</code>，否则返回符号<code>F</code>。
*<code>(atom <exp>)</code>：接受一个表达式，如果它的值是原子，则返回符号<code>T</code>，否则返回符号<code>F</code>。
*<code>(if <exp1> <exp2> <exp3>)</code>：接受三个表达式，如果第一个表达式为符号<code>T</code>，则返回第二个表达式的值，否则返回第三个表达式的值。
*<code>(cons <exp1> <exp2>)</code>：接受二个表达式，返回由它们的值构成的一个值点对。
*<code>(car <exp>)</code>：也写为'''<code>head</code>'''，接受其值为点对的一个表达式，返回这个点对的第一个值。
*<code>(cdr <exp>)</code>：也写为'''<code>tail</code>'''，接受其值为点对的一个表达式，返回这个点对的第二个值。
*<code>(let <exp> (<name1>.<exp1>) (<name2>.<exp2>)……)</code>：接受一个表达式和它所具有的一个声明类表，它包含在这个表达式中可见的诸命名表达式，这个函数返回这个表达式的值。
*<code>(lambda (<name1> <name2>……) <exp>)</code>：接受一个参数列表和一个表达式，将它们返回为函数。
*<code>(letrec <exp> (<name1>.<exp1>) (<name2>.<exp2>)……)</code>：类似于'''<code>let</code>'''，但是在声明中被命名的表达式比如<code><exp1></code>之中，出现的名字比如<code><name1></code>也代表着对应的值。
*<code>(add <exp1> <exp2>)</code>：接受二个表达式，返回它们的数值的和。
*<code>(sub <exp1> <exp2>)</code>：接受二个表达式，返回它们的数值的差。
*<code>(mul <exp1> <exp2>)</code>：接受二个表达式，返回它们的数值的积。
*<code>(div <exp1> <exp2>)</code>：接受二个表达式，返回它们的数值的商。
*<code>(rem <exp1> <exp2>)</code>：也写为'''<code>mod</code>'''，接受二个表达式，返回它们的数值的余数。
*<code>(leq <exp1> <exp2>)</code>：接受二个表达式，如果第一个数值小于或等于第二个，则返回符号<code>T</code>，否则返回符号<code>F</code>。

==绑定==
函数<code>let</code>和<code>letrec</code>有着类似的用处，但是在[[名字绑定]]机制即处理命名变量的方式上有着微妙的区别。
*{{code|2="scheme"|(let e (x₁.e₁) (x₂.e₂)……) ≡ ((lambda (x₁ x₂……) e) e₁ e₂……)}}：<code>let</code>在声明列表中，将诸表达式的值绑定到诸变量名字。<code>lambda</code>定义并返回一个函数，在后续的{{en-link|函数应用|Function application}}之时，将诸实际参数表达式的值绑定到诸形式参数名字。
*{{code|2="scheme"|(letrec e (x₁.e₁) (x₂.y₂)……)}}：<code>letrec</code>本质上类似于<code>let</code>，但是它允许[[递归 (计算机科学)|递归]]的定义函数和值。
例如下面表达式的值是[[惰性求值|无限列表]]<code>(1 1 1 ……)</code>：
<syntaxhighlight lang="scheme">
(letrec i
(i.(cons (quote 1) i)))
</syntaxhighlight>
上面例子采用[[LISP#S-表达式表示列表|点对表示法]]，指示出了对[[S-表达式]]的[[模式匹配|匹配]]方式，程序代码通常采用列表表示法写为：
<syntaxhighlight lang="scheme">
(letrec e
(f lambda y₁ e₁)
(g lambda y₂ e₂))
</syntaxhighlight>
这里的<code>y</code>是绑定变量的列表<code>(x₁ x₂……)</code>。

==引用==
{{reflist|2}}

== 扩展阅读 ==
*Peter Henderson, Geraint A. Jones, and Simon B. Jones, "The LispKit Manual" (ISBN 0-902928-18-X)

== 外部链接 ==
* The LispKit Manual, [http://www.cs.ox.ac.uk/files/3299/PRG32%20vol%201.pdf Volume 1] {{Wayback|url=http://www.cs.ox.ac.uk/files/3299/PRG32%20vol%201.pdf |date=20160304062717 }}, [http://www.cs.ox.ac.uk/files/3300/PRG32%20vol%202.pdf Volume 2] {{Wayback|url=http://www.cs.ox.ac.uk/files/3300/PRG32%20vol%202.pdf |date=20160304113042 }}
* [https://softwarepreservation.computerhistory.org/LISP/other.html#LispKit_Lisp_ Documentation and source of Lispkit]
* [https://github.com/hanshuebner/secd/tree/master/lispkit/LKIT-2 Archive of old LispKit LISP code and files, plus C implementation of SECD machine]
* [http://perun.pmf.uns.ac.rs/radovanovic/publications/2002-prim-lisp.pdf Paper about a LispKit LISP implementation in Java] {{Wayback|url=http://perun.pmf.uns.ac.rs/radovanovic/publications/2002-prim-lisp.pdf |date=20160303181154 }}, and [https://perun.pmf.uns.ac.rs/radovanovic/downloads.htm the implementation itself] {{Wayback|url=https://perun.pmf.uns.ac.rs/radovanovic/downloads.htm |date=20210302074520 }}

{{Lisp programming language}}

[[Category:学术的编程语言]]
[[Category:LISP程式語言家族]]

LispKit Lisp - 版本历史

imported>Mhss：​/* top */

imported>Mhss：/* top */