next_inactive up previous


����

Լ������������ѧ����1958�꿪ʼLisp���׸�ʵ�ֹ���. Lisp��Fortran֮�� ��Ȼ��ʹ�õ�����ϵ�����.1 ��ֵ��һ�����,����Ȼ���ڱ�����Լ�������ǰ��. �� Lisp�ij���Ա�������,����������ij�ֶ���ʹ�������ڲ�ͬ.

����ʹLisp���ڲ�ͬ��ԭ����������Ƴ��ܹ��Լ��ݱ�. ������Lisp�����µ� Lisp������. �����µij������Խ��Խ����(�������������),�������Ƿ��� ��Lisp��ʵ�����Ǻ�����. ����DNA, ���������Բ����ʱ.

�µĹ���

ΪʲôҪѧLisp? ��Ϊ�������������������в�����������. ��������дһ�� ��������С��n�ķǸ��������ܺ�, ��ô��Lisp��C�Dz���:
; Lisp                   /* C */
(defun sum (n)           int sum(int n){
  (let ((s 0))             int i, s = 0;
    (dotimes (i n s)       for(i = 0; i < n; i++)
      (incf s i))))          s += i;
                            return(s);
                          }
�����ֻ���������򵥵���,���������������޹ؽ�Ҫ��. ��������дһ������ ������n, ����һ������: ����n���ӵ������Ա�����ȥ:
; Lisp 
(defun addn (n)
  #'(lambda (x)
      (+ x n)))
��C������addn����������? ����������.

����ܻ���,˭����Ҫ������������? ������Խ��㲻Ҫ��ͼȥ�����Dz��ṩ�� ��. ����ij������д�����ʱ��,�������������˼������,������Ҫ�㲻������ �Ķ����Ǻ����ѵ�. �Ҹտ�ʼд����--��Basic--��ʱ��,�Ҳ�����Ҫ�ݹ�,�� Ϊ�Ҹ�����֪������ô����. ����Basic˼��. ��ֻ�е����㷨�ĸ���,Ϊʲô�� ��Ҫ�ݹ���?

����㲻�����߼���װ(����������о�ʹ������),������, ĿǰLisp�� ��Աһֱ��ʹ����. �����ҵ����ⳤ�ȵ�Lisp���벻���÷�װ��. ��112ҳ��� �Լ�ʹ����.

��װֻ�����Dz����������������ҵ��ij������֮һ. ����һ�����м�ֵ��Lisp �Ķ���������Lisp��������Lisp�����ݽṹ����ʾ��. ����ζ������Ա�д��д ����ij���. ���������Ҫ�����? �ǵ�--���ǽ�����, �о���ij��� ԱҲһֱ��ʹ����. ��173ҳ��Ϳ���д�Լ��ĺ���.

���˺�,��װ,������ʱ����,Lisp���������������. ���������������仰, Ҳ���㲻��Ҫ���Ȿ����. ����൱����Lisp���ܿ���Ϊʲô�ⲻ�Ǽٻ�. ���� ��������˵˵����. ����һ����Ҫ���۵�,����֤���ڵ�17���ô�����ȷ��д�� ����.

��2�µ���13�»��𽥵ؽ�����������Ҫ�����17�µĴ���ĸ���. ���Ŭ���� �����ر�,����ȷ�: ����C++�б�̻�о�����Ϣ,�����о����C++����Ա�� Basic��̻�е���Ϣһ��. �����˹���Ŀ�����,�������˼��һ�����ָо��� �ζ���. Basic��ϰ��C++������Ϣ����Ϊ�о����C++����Ա֪�����޷���Basic �б���ļ���. ͬ����, ѧϰLisp����������ѧ����һ���µ�����--������� �µĸ�ǿ��Ŀ��dz���ķ���.

�µļ���

������һ���ᵽ��,Lisp�ṩ�������Բ����ṩ�Ĺ���. ��ԶԶ��ֹ��Щ. ���� �ؽ�,����Lisp���¶���--�Զ��ڴ����,��ʽ������,��װ,�ȵ�--ÿһ�� ��ʹ��̸�������. ���Ǻ���һ�������һ���ٽ�ֵʹ�ò���һ���µı�̷��� ��Ϊ����.

Lisp����Ƴɿ���չ��: �����㶨���Լ��IJ�����. ��ΪLisp���ɺ���ij���һ ���ĺ����ͺ깹�ɵ�. ������չLisp��дһ��Lisp����һ������. ��ʵ�������� ô����(������)��������չ�������Գ��˱�׼��ʵ��. ����д�������±ƽ����� ��ʱ��, ��Ҳ�ڹ����������ϱƽ���ij���. �㲻�����϶���Ҳ���¶��Ϲ���.

�������еij��򶼿��Դ������Բü�������Ӧ�Լ�����Ҫ�л�úô�, ������Խ ����, ���¶�����Ʒ����Ե�Խ�м�ֵ. һ�����¶��ϵij������д��һϵ�е� ��, ÿһ�㵣����һ��ı������. TEX�����������ַ���д�ij���֮һ. ��� �����κ��������¶�����Ƴ���,�������ַ����˵,Lisp��������Ȼ�����ع���.

���¶��ϱ�̷���Ȼ��Ȼ�ز�������չ������. �����ʼ�ռ�����¶��ϱ��ԭ ��ֱ����������߲�, ��ô��һ��ͳ�Ϊ�û��Ŀɱ������. ����չ�Ե�˼�� �����������Lisp, ʹ������Ϊ��д����չ��������������. 1980�����ɹ� �ij����е������ṩ��Lisp��Ϊ��չ����: Gnu Emacs, Autocad, ��Interleaf.

���¶���Ҳ�ǻ�ÿ��ظ�ʹ����������÷���. ��д�ɸ��������ı����ǰѹ��ԴӸ� ���з������. �����¶��Ϸ���Ȼ�ʹ��������ַ���. ���ǰ������еľ����� �ڱ�дһ���޴��Ӧ����, �����ò��־���ȥ����һ ������, �ò��־���(�������СЩ)��������������д���Ӧ��. ��Ӧ���йص� ���Զ����������ϲ�, ���µIJ�������һ������, ������д�����Ӧ�����Ƶ� Ӧ��--����ʲô��ȱ�����Ը��߿ɸ����Ե���?

Lisp���㲻��д�������ӵij���, ����д�ø���. Lisp���������ܶ�--������ �Ը��������ĸ���, �����㲻��Ҫ�ö���. ����Frederick Brooksָ����,д����������ʱ��ͨ ��ȡ�������ij���. ��������������ʵ��ζ�ű�дLisp���򻨵�ʱ�����. ����ЧӦ��Lisp�Ķ�̬���ԷŴ�: ��Lisp��, �༭-����-����ѭ�������֮��, ���±����ʵʱ��.

����ij���ͽ���ʽ�Ļ����ܸı������֯���������ķ�ʽ. ����``����ԭ��'' ������һ��������Lisp��ʹ�õı�̷�: ��Lisp��, ������ñ�дһ�����˵�� ���ٵ�ʱ��д��һ��ԭ����, ��������ԭ����˳���, ������Ϊһ������Ӣ��д �ĸ��õĹ��˵��. ����Lisp����������ԭ�͵���Ʒ������ƽ*��ת��. ����д Lisp����ʱ���ǵ��ٶ�,�����ִ��������ı���,���Ǻ��κ��������߼�����д�� �����ܵ�һ����.

�������൱��ϤLisp,����������һ�ѿ����̸��û�����������. Lispʤ���� �������? �㹹�����Աƽ���ij���? Lisp�����ʵʱ��? ��Щ����ʲô ��˼? ������Щ˵������һЩ�յĺ���. ������ѧ������ʵ�ʵ�Lisp�ص�,�� ���������ָ������ij�����, ���Ǿͻᱻʵ�ʾ���װ��, ��������ȷ����״.

�µķ���

�����Ŀ��֮һ�Dz���������Lisp����,����һ����Lisp��ɵ��·���. ����һ �����ڽ�������ø���ķ���. ���ű�̻�����ø�ǿ��, ������Ա�ø��� ��, Lisp��̷������ȡ���ɵļƻ�-Ȼ��-ʵ�ֵ�ģʽ.

�ھɵ�ģʽ��, ����(bug)��Զ���ó���. �����������������ܹ��˵������ ������֤��������������. ����������������. ���ҵ���, ���˵��������д ��, Ҳ��������ʵ�ֵ�. ʵ�ʵĽ����, �ƻ�-Ȼ��-ʵ�ַ��������ò�̫��.

��ΪOS/360���̵ľ���, Frederick Brooks�dz���Ϥ���ִ�ͳ�ķ���. ��Ҳ�� ����Ϥ���ĺ��:

�κ�OS/360���û��ܿ���ʶ������Ӧ�����ö��...���Ҳ�Ʒ�Ѿ�����, ���� �˱�ԭ�ƻ�����ڴ�,�ɱ��ǹ��Ƶĺü���,��������һֱ��̫��,ֱ����һ���� ��֮��ĺü����汾.2
����Ƕ��Ǹ�ʱ����ɹ�ϵͳ֮һ������.

��ģʽ���������������˵ľ�����. �ھ�ģʽ��,���Ĺ��˵�����������ص� ȱ��,ʵ��������һ׮�����Ƿ���ɴ���ļ�����. ����֤����ʵ����һ���� ��Ĵ��. ����Ĺ��˵������, �����������������Щ.

����ʵ�����±��ģʽ���ٶ���. ���跨�������ʹ���ijɱ�,������ϣ���� �Dz�������. ����ijɱ��Ǹ�����������ʱ��. ʹ��ǿ������Ժ�����ı�̻� ��, ���ֳɱ��Ἣ��ؽ���. �����ƿ��Խ��ٵ������ڼƻ�,�����������̽ ��.

�ƻ���һ�ֱ�Ҫ�Ķ�. ���ǶԷ��յķ�Ӧ: ����Խ��Σ��,Ԥ�����üƻ�Ҳ��Խ ��Ҫ. ǿ��Ĺ��߽����˷���, Ҳ�����˼ƻ�����Ҫ. �������ƿ��Դ�ʵ���� �ľ���������--������������õ���Ϣ��Դ.

Lisp�����1960�������һֱ����������ݻ�. ����Lisp�п�����˿��ٵ�д�� ԭ��,���������ܾ����ü�����ƺ�ʵ�ֵ�ѭ��, ���ھɵ�ģʽ��,����ܸ�д�� ���˵��. �㲻�ع��ڵ������ȱ��,��Ϊ������ط�������. ��Ҳ���ع��� ���Ĵ���(bugs). �����ú��������,����ֻ�оֲ���Ӱ��. ����ʹ��һ�ֺ� ���������,ijЩ����(�������ָ��)����Զ���������,��ʣ�µĴ����������, ��Ϊ��ij��������. �����н���ʽ��������ʱ,����������������,���ؾ����� ��,����,���Ե���������.

Lisp�����ô��չ����Ϊ������˳ɹ�. �������е����,��Щ�ƻ���ζ�Ÿ��� �����. ����ʷ�����Ƶ����Ӳ�ʤö��. һ�����Ƶ��¼�������ʮ�����͵Ļ滭 ����. ���ͻ���������֮ǰ,������һ�ֽе��ʵ���������,�����ܻ�ϻ򸲸�. ���� �ĸ߰�����ʹ���ұ�ñ���. ���������ͻ����ϵij���,����������˼���ĸ� ��. �ͻ�����``�����ڶ���˼��.''3��Ϊ��������Ĵ���,�������ﻭ���ṩ�� �����Ե���������.

�½��ʲ���ʹ����������������. ��ʹ�µĸ��б�����������ʽ��Ϊ����. Jansonд��:

���û���ͻ�����,�����´�ʦ�ǵ������ɼ�����ʵ�Ŀںžͻ����ۿ�. ���Ǵ� �����ĽǶ�����,����Ҳ��֮�����سƵ���``�ִ��滭֮��'',��Ϊ�ͻ����ϴӴ� ��Ϊ���ҵĻ�������.4
��Ϊһ�ֲ���,���ʲ������ͻ�����ѷɫ. ���ͻ����ϵĵ��Ը�������������� �ռ�--���Ǿ����Ե�����.

������������������Ƶı��. �µĽ�����``�������Ķ�̬����''--�� Lisp. ����˵�������е������ڼ����ڶ�Ҫ��Lisp��д. �ӵ��ʵ��ͲʵĹ���Ҳ ����һҹ֮����ɵ�; �Ͳʿ�ʼֻ��һЩ�����֮�ȵ�������������,���Ҿ��� ����ŵ���ʹ��. ���������ƺ�����������׶�. Lisp�ڴ�ѧ,ʵ���Һ�һЩ���� ǰ�صĹ�˾��ʹ��. ͬʱ��Lisp�Ƕ����õ�˼��Խ��Խ��س�����������: ���� ʽ��������,���õ�Ԫ�ռ�,����ʱ���ͽ������м���.

ǿ��Ĺ������ڼ���̽���ķ���. ��Գ���Ա��˵�Ǹ�����Ϣ,��Ϊ����ζ���� ���ܽ��и��б�������Ŀ. �Ͳʵ�Ӧ�õ�ȷ��������Ч��. �������ú��ʱ���� �ǻ滭�Ļƽ����. ���Ƶļ����Ѿ������ڳ����������.

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 acl1.tex

The translation was initiated by Dai Yuwen on 2004-04-03


Footnotes

... ��Ȼ��ʹ�õ�����ϵ�����.1
McCarthy, John. Recursive Functions of Symbolic Expressions and their Computation by Machine, Part I. CACM, 3:4 (April 1960),pp. 184-195.
... ��֮��ĺü����汾.2
Brooks, Frederick P. The Mythical Man-Month. Addison-Wesley, Reading (MA), 1975, p. 16.

����ԭ�ͷ�������һ�ָ������õ�д����ķ���, ��Щ������ܲ��ô˷��͸��� д������.

��ʹ���������ĵ���Ҳ���ھ޴�Ĺ�����ǰ����. �����ʹ�Լ�����ij���²��� �Ѻܴ󾢶�(���´ӱ����Ͽ�),��������ͻ�����Щ. �����Ϊʲô��ô����� �Ǵ�С�¿�ʼ��. ����ԭ�ͷ������Ǵ�С������.
... �ͻ�����``�����ڶ���˼��.''3
Murray, Peter and Linda. The Art of the Renaissance. Thames and Hudson, London, 1963, p. 85.
... ��Ϊ���ҵĻ�������.4
Janson, W. J. History of Art, 3rd Edition. Abrams, New York, 1986, p. 374.

������ֻ���������ڻ����ϵĻ�. ����ǽ�ϵĻ��Ծ��ñڻ�����. ��Ҳ����˵ �滭������ɼ�����Ǩ������; �෴��˵�����ܸ��ӽ���ʵ.

next_inactive up previous
Dai Yuwen 2004-04-03