1.2 eval��������

eval���s�����\�b�h���C�]�����s���������^������������������ �^���������������g�b�v���x���������������������������� ����������eval���\�b�h���������`�������������D

• �����F���������^��������env�������l��lookup�����D
• �����i�������������A�g���j�F�A�g�����������������D
• ���X�g
  • quote�t�H�[��������
  • begin�t�H�[��������:
  • define�t�H�[��������: �����v�f��lambda�t�H�[��������lambda�t�H�[ ����������env���������]�����C��������������env.define�������D
  • set!�t�H�[��������: env.set���s���D
  • if�t�H�[��������
  • cond�t�H�[��������: reduceCond���s��. $=>$�g���������������������D

    
    
    > (cond ((assv 'b '((a 1) (b 2))) => cadr)
           (else #f))
    2
    > (cond ((assv 'b '((a 1) (b 2))) => car)
           (else #f))
    b
    

  • lambda�t�H�[��������: Closure������
  • macro�t�H�[��������: Macro������
  • �����������o���t�H�[���������F������eval�����CMacro������expand ���CClosure������Closure��body���]�������������CClosure�������C ���������]���������X�g�����V�����������������C�������V����env�������D �������O���CProcedure.proc.apply�������D