lisp语言的定义
约翰麦卡锡定义lisp
当然早已有了各种计算模型--最著名的是图灵机. 但是图灵机程序难以读懂. 如果你要一种描述算法的语言，你可能需要更抽象的，而这就是约翰麦卡锡定义 Lisp的目标之一.
约翰麦卡锡于1960年定义的语言还缺不少东西. 它没有副作用，没有连续执行 （它得和副作用在一起才有用），没有实际可用的数， 没有动态可视域. 但这些限制可以令人惊讶地用极少的额外代码来补救. Steele和Sussman在一篇叫做``解释器的艺术’’的著名论文中描述了如何做到这点.
如果你理解了约翰麦卡锡的eval，那你就不仅仅是理解了程序语言历史中的一个阶段. 这些思想至今仍是Lisp的语义核心. 所以从某种意义上，学习约翰麦卡锡的原著向我们展示了Lisp究竟是什么. 与其说Lisp是麦卡锡的设计，不如说是他的发现. 它不是生来就是一门用于人工智能，快速原型开发或同等层次任务的语言. 它是你试图公理化计算的结果（之一）.
随着时间的推移，中级语言，即被中间层程序员使用的语言，正一致地向Lisp靠近. 因此通过理解eval你正在明白将来的主流计算模式会是什么样.
注释
把约翰麦卡锡的记号翻译为代码的过程中我尽可能地少做改动. 我有过让代码更容易阅读的念头，但是我还是想保持原汁原味.
在约翰麦卡锡的论文中，假用f来表示，而不是空表. 我用空表表示假以使例子能在Common Lisp中运行. (fixme)
我略过了构造dotted pairs，因为你不需要它来理解eval. 我也没有提apply，虽然是apply（它的早期形式，主要作用是引用自变量），被约翰麦卡锡在1960年称为普遍函数，eval只是不过是被apply调用的子程序来完成所有的工作.
我定义了list和cxr等作为简记法因为麦卡锡就是这么做的. 实际上 cxr等可以被定义为普通的函数. List也可以这样，如果我们修改eval，这很容易做到，让函数可以接受任意数目的自变量.
麦卡锡的论文中只有五个原始操作符. 他使用了cond和quote，但可能把它们作为他的元语言的一部分. 同样他也没有定义逻辑操作符and和not，这不是个问题，因为它们可以被定义成合适的函数.
在eval.的定义中我们调用了其它函数如pair.和assoc.，但任何我们用原始操作符定义的函数调用都可以用eval.来代替. 即
(assoc. (car e) a)
能写成
(eval. ’((label assoc.
(lambda (x y)
(cond ((eq (caar y) x) (cadar y))
(’t (assoc. x (cdr y))))))
(car e)
a)
(cons (list ’e e) (cons (list ’a a) a)))
麦卡锡的eval有一个错误. 第16行是（相当于）（evlis. (cdr e) a）而不是（cdr e),这使得自变量在一个有名函数的调用中被求值两次. 这显示当论文发表的时候，eval的这种描述还没有用IBM 704机器语言实现. 它还证明了如果不去运行程序，要保证不管多短的程序的正确性是多么困难.
我还在麦卡锡的论文中碰到一个问题. 在定义了eval之后，他继续给出了一些更高级的函数--接受其它函数作为自变量的函数. 他定义了maplist:
(label maplist
(lambda (x f)
(cond ((null x) ’())
(’t (cons (f x) (maplist (cdr x) f))))))
然后用它写了一个做微分的简单函数diff. 但是diff传给maplist一个用x做参数的函数，对它的引用被maplist中的参数x所捕获.
这是关于动态可视域危险性的雄辩证据，即使是最早的更高级函数的例子也因为它而出错. 可能麦卡锡在1960年还没有充分意识到动态可视域的含意. 动态可视域令人惊异地在Lisp实现中存在了相当长的时间--直到Sussman和Steele于 1975年开发了Scheme. 词法可视域没使eval的定义复杂多少，却使编译器更难写了.
About this document
About this document ... This document was generated using the LaTeX2HTML translator Version 2K.1beta (1.48)
Copyright © 1993,1994,1995,1996,Nikos Drakos,Computer Based Learning Unit,University of Leeds.
Copyright © 1997,1998,1999,Ross Moore,Mathematics Department,Macquarie University,Sydney.
The command line arguments were:
latex2html -split=0 roots_of_lisp.tex
The translation was initiated by Dai Yuwen on 2003-10-24 欧几里德对几何的贡献.
``Recursive Functions of Symbolic Expressions and Their Computation by Machine,Part1.’’ Communication of the ACM 3:4,April 1960,pp. 184-195.
当表达式以七个原始操作符中的五个开头时，它的自变量总是要求值的.
以另外两个操作符quote和cond开头的表达式以不同的方式求值. 当 quote表达式求值时，它的自变量不被求值，而是作为整个表达式的值返回. 在 一个正确的cond表达式中，只有L形路径上的子表达式会被求值.
逻辑上我们不需要为了这定义一个新的记号. 在现有的记号中用 一个叫做Y组合器的函数上的函数，我们可以定义递归函数. 可能麦卡锡在写 这篇论文的时候还不知道Y组合器； 无论如何，label可读性更强.
没有实际可用的数，
在麦卡锡的1960 年的Lisp中，做算术是可能的，比如用一个有n个原子的表表示数n.
... 的艺术’’的著名论文中描述了如何做到这点.5
Guy Lewis Steele,Jr. and Gerald Jay Sussman,``The Art of the Interpreter,or the Modularity Complex(Parts Zero,One,and Two),’’ MIT AL Lab Memo 453,May 1978.
... 对它的引用被maplist中的参数x所捕获.6
当代的Lisp程序 员在这儿会用mapcar代替maplist. 这个例子解开了一个谜团： maplist为什 么会在Common Lisp中. 它是最早的映射函数，mapcar是后来增加的.
囚禁用英文怎么说
囚禁 captivity . 近义词或词组 incage | embar | enjail | embarment | chain | chains .
2013年考研英语新增词汇可分为几大类
1accustomvt.使习惯于(to)：~ oneself to rising early使自己习惯于早起 / ~ sb. tosea life使某人习惯于海上生活 / ~ one’s ears to the din使自己的耳朵适应喧闹声2alienatevt.1使疏远，使不友好；离间；The management must never become ~d from the employees.管理层决不能脱离员工。2【律】转让，让渡（财产等）3使转移；使转向▷alienator n.3allegiancen.1（对国家、政府、事业、个人等的）忠诚；效忠，忠贞：give ~ to效忠于2（臣子对君主的）臣服义务3（侨民对所居国政府的）效忠义务4apen.1无尾猿；类人猿2猴3粗野的大汉4模仿者，学样的人vt.模仿，学…的样adj.〈口〉疯狂的；狂热的 ◇go ~〈口〉发疯；变得狂热：go ~ over a girl为一个姑娘神魂颠倒 ▷apelike adj. / aper n.5archaeologyn.1考古学2（某民族的）文化遗迹，古迹 ▷archaeological adj. / archaeologically adv. /archaeologist n. / archaeologize vi.6bail1n.【律】保释金；保释人；保释；accept (或refuse) ~ 准许（不准许）保释vt.1保释（某人）；（法官）将（在押犯）交保释放2 托付（财务）~ out 1保释：~ sb. out保释某人 2帮助（某人）脱离困境；从困境中摆脱出来 / forfeit ~ 保释后不出庭候审 / go (stand) ~ for 做…的保释人；为…提供保释金 / hold sb. to ~ 拘留某人直至交保 / jump ~〈口〉=forfeit ~ / on ~ 交保后：be out on ~ 在保释中 / post ~ 缴纳保释金 / save (surrender to) one’s ~ 保释后如期到庭受审 bail2n.戽斗，桶（用来舀出船舱里的水）vt.舀（水）；从（船）中舀水(out)：~ (out) the boat（或~water out of a boat）舀出船舱里的水vi.舀出船舱里的水◇~ on〈美口〉让…失望 / ~ out 1（从飞机上）紧急跳伞2畏难而去▷bailer n. bail3n.1[~s]【史】（城堡的）外层防卫桩；栅栏2（厩内的）横栏3（板球的）三柱门上的横木4〈澳〉（挤乳时）扣住母牛头部的闸架◇~ up〈澳〉1（挤乳时）用闸架扣住（母牛）的头部 2拦路抢劫 3〈口〉（尤指为交谈而）拦住，强行留住（某人） bail4n.1(车棚等)半圆形棚架2（壶、桶等的）半圆形拎环3（打字机上的）压纸杆7blogn.博客，网络日志8botanyn.1植物学2[总称]（某地区的）植物9buzzn.1嗡嗡声，蜂音2嘁嘁喳喳，噪杂声3〈口〉流言谣言4（蜂鸣器等发出的）信号声5〈口〉电话：give sb. a ~ 给某人打电话6骚动7〈美口〉（吸毒或饮酒产生的）陶醉感；兴奋vi.1（蜂等）嗡嗡叫，（机器等）营营响2用蜂鸣器发出信号3忙碌，忙乱；急行：~ about (或around)到处奔忙 / ~ along匆忙走过4嘁嘁喳喳；说闲话；充满低沉嘈杂的声音vt.1使嗡嗡叫，使营营响2用蜂鸣器传呼；〈口〉给…打电话3私下说出（或传播）；嘁嘁喳喳地表示；私下告诉（某人）：~ a rumour 暗中散播谣言 / The committee ~ed its indignation. 委员们异口同声表示愤慨。4猛扔（石子等）5（飞机）低飞掠过；高速飞行（另一飞机）进行骚扰6〈英方〉喝完（一瓶酒）◇ ~ off 〈口〉走开，离去10censorshipn.1审查（制度），检查（制度）2审查员（或检查员）的职位3【心】潜意识压抑力（或作用）4古罗马监察官的职位（或权力）11cometn.【天】彗星▷cometary adj.12contagiousadj.1（接）触（传）染的；（有）触染性的；带触染源的：a ~ disease 传染病 / a ~ ward触染病房2（情绪等）感染性的；蔓延的；会扩散的：~ laughter有感染力的笑声▷contagiously adv. / contagiousness n.13convergevi.1（道路、车辆、人群等）会合，集中2为共同利益（或目的等）会聚；趋同3【数】收敛vt.使会合，使集中；使会聚14culpritn.1犯人，罪犯2导致过错的人；事故的起因；问题的根源：The real ~ is the greenhouse gases. 问题的真正原因就是温室气体。15dauntvt.威吓；使胆怯，使气馁：He felt completely ~ed by the difficulties. 他完全被困难吓倒了。/ Nothing ~ed, he tried again. 他毫不气馁，重新再试。16debutn.〈法〉1初进社交界2（演员的）首次演出；首次露面vt.&vi.首次演出17defaultn.1不履行，违约，拖欠2【体】弃权3【律】未到庭：judgment by ~ 缺席判决4【计】默认vi.1不履行，拖欠：~ on one’s loans不偿还贷款2【律】不到庭3【体】弃权；由于弃权而输掉vt.1不履行，拖欠2【律】宣布…未到庭3【体】对（比赛）弃权；由于弃权而输掉（比赛）4【计】默认(to)：The program will ~ to its own style. 程序将默认选用自身风格。◇go by ~ 没有，缺乏；因疏忽而致丧失 / in ~ of 因没有…；在缺少…时 / make ~【律】缺席18defer1vt.&vi.(deferred; deferring) 推迟，（使）延期，（使）迟延defer2vi.(deferred; deferring) 听从，遵从：~ to sb.’s opinions听从某人的意见▷deferrer n.19deplorevt.1哀叹，悲叹；哀悼：~ sb.’s inefficiency对某人的不称职深表遗憾2强烈反对；谴责▷deploringly adv.20diabetesn.【医】糖尿病21dinosaurn.1【古生】恐龙2（尤指废弃过时的）庞然大物3保守、顽固的人▷dinosaurian n.&adj.22dioxiden.【化】二氧化物23embryon.（[复]~s）1胚；胚胎；（尤指受孕后8周内的）胎儿：a developing ~ 生长中的胚胎2（事物的）初期，萌芽期；萌芽状态（的事物）adj.胚胎的；初期的，萌芽期的；未成熟的；未发达的◇in ~ 尚未成熟的；在计划中的，在酝酿中的▷embryonal adj.24endorsevt.1赞同；支持；认可：The application was ~d by the committee.申请书已由委员会批准。2在（支票等）背面签名，背书；签署（书名）3签（注）；批准（公文等）：have one’s licence ~d（驾驶员等）执照被注上违章记录4为（产品等）代言◇~ over背书（支票等）转让权利：~ over a bill to another person背书票据把权利转让给别人▷endorsable adj.25ethicn.标准理论；道德准则（或体系）26fiscaladj.1国库的；国家岁入的2（政府）财政的：~ policy财政政策n.〈古〉1印花税票2财政年度，会计年度3（苏格兰等地的）检察官▷fiscally adv.27franchisen.1（经营）特权，特许；特许经营（权）2特许经营的商店3〈美口〉（职业运动联合会给予的）会员队拥有权4〈美口〉职业运动队5〈美口〉职业运动队的主力队员（译作franchise player）6保险免赔限度；保险免赔额7公民权；选举权vt.1给…以特许（经营权）2给予…公民权（或选举权）28freelancen.1自由职业者（如自由撰稿人等）2（中世纪的）雇佣兵vi.当自由职业者adj.自由职业的adv.以自由职业者身份29genren.1（文艺作品的）样式，体裁2[总称]风俗画（亦作genre painting）30glaciern.冰川31guildn.1（中世纪的）行会，同业公会；（互助性的）协会：Writers’ Guild of Great Britain英国作家协会2【植】依赖植物集团32heraldn.1（旧时的）传令官2（英国的）司宗谱纹章的官3（常用作报纸的名称）通报者；使者；预言者；先驱vt.1宣布；通报2预示…的来临：The first buds ~ spring. 新芽报春到。33hormonen.【生化】激素▷horlmonal，hormonic adj.34hygienen.卫生；卫生学；保健学：personal ~ 个人卫生35inauguratevt.1开始；开展：~ a new era of economic prosperity开创经济繁荣的新纪元2为…举行就职典礼，使正式就任：~ a president举行总统就职典礼3为…举行开幕式；为…举行落成（或通车等）仪式：The Export Commodities Fair was ~d yesterday. 出口商品交易会昨天开幕了。▷inaugurator n.36ivoryn.1象牙；（海象等的）长牙：artificial ~ 人造象牙2牙质：dental ~ 牙质3（外表或用途等）类似象牙之物4象牙色，乳白色5象牙制品，仿象牙制品6高级白板纸7[the ivories]〈口〉琴键8[ivories]〈口〉牙齿adj.1象牙制成的；似象牙的2象牙色的，乳白色的37lyricn.1抒情诗；抒情作品2[~s]（尤指流行歌曲的）歌词adj.1歌（一样）的；适于演奏（或歌唱）的；适合用里拉琴伴奏的2抒情的；写抒情诗的：(the) ~ drama歌剧／a ~ poet抒情诗人／~ poetry抒情诗3（感情、风格等）奔放的，不拘束的：explode with ~ wrath勃然大怒4（歌手）歌喉柔美的；（嗓音）柔和优美的38marathonn.1【体】马拉松赛跑（全长42.195公里）2（游泳、滑冰等的）长距离比赛；耐力比赛；马拉松式的活动（或事件、会议等）；长期（或艰巨的）任务adj.马拉松式的；长期（或艰巨）的：a ~ effort长期艰苦的努力vi.参加马拉松赛跑（或马拉松式的比赛、活动）▷marathoner n.39memorandumn.（[复] ~s或memoranda）1备忘录：a ~ book备忘录／a protest ~ 抗议书2（契约等条文的）节略3便笺，便函40modulen.1组件，部件；模块2（教育）单元3（宇宙飞船上各个独立的）舱：a command ~ 指令舱／a lunar ~ 登月舱4（尤指用于协调建筑物及构件尺寸的）模数5【数】模6（古典建筑中的）圆柱下部半径度41neutronn.【物】中子42nostalgicadj.恋旧的，怀旧的；引起怀旧的n.怀旧的人▷nostalgically adv.43obesityn.肥胖（症）44overhaulvt.1解体检修，大修；详细检查：have the crane ~ed对吊车进行大修／go to the doctor to be ~ed找医生检查身体2彻底革新（或改革）；全面修订3〈英〉赶上，追越：~ the other two competitors赶上其他两名选手4解松（船的缆绳）n.1解体检修，大修；详细检查：undergo a thorough ~ 受彻底检查2彻底改革；全面修订：~s of the school curriculum学校课程改革45portfolion.（[复] ~s）1（皮制）公事包；文件夹：a lecture ~（教师用的）讲义夹2大臣职；部长职：offer sb. the foreign affairs ~ 委任某人为外交大臣（或部长）／resign one’s ~ 辞去大臣（或部长）职／a minister without ~ 不管部大臣（或部长）3（一投资者所持有的）投资组合；有价证券财产目录4（艺术家等的）代表作选辑46recessionn.1（经济的）衰退（期）：The economy is in deep ~．经济正处于严重的衰退之中。2后退，退回；撤回3凹进处4（基督教做完礼拜后牧师和唱诗班的）退场（行列）47redeemvt.1买回；赎回：~ a mortgage赎回抵押品／~ pawned goods赎回当掉的物品2重获；弥补；挽回：~ one’s position恢复地位／~ one’s honour挽回名誉3偿还，还清：~ a mortgage还清按揭贷款4赎救，解救，拯救：~ a slave赎救一个奴隶／~ a prisoner from captivity解救被监禁的囚犯5【宗】（上帝）救赎6[~ oneself]使免咎，使改过：He was trying to ~ himself for his earlier failure.他努力挽回早先失败的影响。7履行（诺言等），践（约）：~ one’s obligation履行义务8补偿，补救：~ an error弥补过失9兑换（纸币）成硬币（或金、银）；兑（证券等）为现金；凭（赠券等）取物▷redeemable adj.48rehearsev.1排练，排演：~ a play排戏／~ a part in a play排练戏中的角色／The orchestra has been ~d many times for the programme.管弦乐队已经为这个节目排练了好多次。2练习；演练；训练（某人）：~ an action练习一个动作3详述；复述：~ the events of the day列举当天发生的各种事情vi.1排练，排演2练习，演练▷rehearser n.49salientadj.1显著的：~ features显著的特征2突出的；凸起的3（水等）喷射的，涌出的4（纹章学用语）（狮子等）后腿站立前爪举起的n1凸出物2【军】突出部▷saliently adv.50scenarion.（[复] ~s）1剧本提纲；（小说的）情节梗概2电影脚本；分镜头剧本：a ~ writer电影剧本作者3方案；设想：a best-case ~ 最好的情况51snobbishadj.1势利的；谄上欺下的2自以为懂行的▷snobbishly adv.／snobbishness n.52stagnantadj.1停滞的，不流动的：~ water死水2（水等因不流动而）污浊的：The long disuse of the room made the air ~. 房间长期不使用使室内空气变得污浊。3迟钝的，呆笨的：a ~ mind迟钝的头脑4萧条的，不景气的：Business was ~. 生意萧条。▷stagnancy n. / stagnantly adv.53statisticsn.[复]1统计；统计资料： ~ of population人口统计 / capital construction ~ 基本建设统计／Statistics tell part of the story. 统计数字说明了部分问题。2[用作单]统计学54taboon.（[复] ~s）1禁忌，忌讳，戒忌：under ~ 属禁忌之列 / the old ~ on kissing in public不得在公开场合接吻的传统禁忌2禁忌的事物3不做某事的一致行动：There is a ~ on smoking in this office. 在这间办公室里一律不准吸烟。4【语】禁忌语adj.禁忌的，忌讳的；禁止的：Birth control is no longer a ~ subject.节育已不再是忌讳的话题。vt.把…列为禁忌；禁止；抵制与…往来55toil1vi.l苦干，辛劳从事（于）(at, on, through)：~ at one’s task辛苦工作2艰苦地行动；跋涉：~ along the road艰苦地沿路行进／~ up a hill使劲爬上山n.苦工，苦活；难事：Some books are a ~ to read.有些书读起来真费劲。◇sweet ~ 喜欢干的辛苦工作／~ and moil辛辛苦苦地工作▷toiler n.toil2n.[常作~s]网，罗网；圈套，陷阱；困境：be caught in the ~s of the law落入法网／in the ~s of despair处于绝望之中◇be taken in the ~s 1落网 2被迷惑；受困惑56transitn.1运输，运送；通路，运输路线；公共交通系统：air ~ 空运／a means of ~ 一种运输手段／the ~ workers运输（交通）工人／the overland ~ 陆上运输线2通过，经过；通行；过境，中转：the ~ of radio signals from the earth to the moon and back无线电信号从地球到月球再回到地球的往返／We were allowed two days for the ~ of the lake. 我们被准许在两天之内通过该湖。3转变，变迁：the ~ of autumn to winter秋去冬来4【天】中天；凌；经纬仪5（机场内的）中转候机处vt.1通过；运送过；转运：~ the canal通过运河2（天体）经过vi.通过，经过，越过：Only ships of 5,000 tons or smaller are able to ~．只有5000吨或5000吨以下的船只能够通过。◇in ~ 在运输中，在途中：goods in ~ 运输中的货物57turmoiln.骚动；混乱；喧嚷：political ~ 政治骚乱／The city is in (a) ~．城里一片混乱。58vaccinen.1【医】疫苗2【计】疫苗（程序）（建议增加词条）59plaintiffn.【律】原告，起诉人60defendantn.【律】被告adj.处于被告地位的
-lisp
