Lecture 2 Notes

3 4 4

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: )£ $ %   ¢   '    £ £# ¡ ©¦'  ' )© # (¦ %    ' ' ©( © ) ¥ ) ¡ ©  ' )© # (¦ % ¢ ¢ ©  £ $ % ¡ © ¢¢¡ ¥  ¢¢ ¤ £¦ ¢¥  ¢¢ ¢¡ ¢¥ © ¡¢ £ ¦£ ¡¢ ¢ ¦ ¡¢ ¢ ¢¦ ¡¢ £ ¢ ¡ £¢ ¡ £¢ © © ¡ ¢¢ ¢¢¡ ¥  £¢ ' ©( © ) ¥ ) ¡ ¤ % ¡    %( ¨( ©  # ¡ ' 2  ¡ ¤ ¡  ) ©4(' "¨)$ ¡  ) ©%( (  ) © $  )     '(¦©% ")# ' $  ( © , which converts a type back into a list that  ©  © ¨    ¤     ' ( # ¦©% ' © $ ¨(  ' ( # ¦©%  © $  # %   0% #  2 ¡ ¤ 1¡ #  "4 ¡ 2 ¨ # ¢ #%¡ ¡ ¤ £¡ ¦¢ ¡   ' )'  (' ¡ ( %( ¥§$ ¡  ¡ ¡  ©% # ¡ ©   ¢¤ §¥¢ © 4 ) $) 4   ¤ ¡ ¥) £   ©   ' © $ ¨(  4 ¥#  ' ©( ©¡ ) ¥ )¢  ¨ §¡ ¢£¢ ¢¢¡ ¥  £¢ $ £¢ ¡ ¢¢¡ ¥  £¢ ©   ¤©  ¤  ¢ ¦ ¢ © ¡ © ¤¥ £¢ ¡ ¢ £¨¤§ ¦ § ¢¡£¢ $ £¢£ ¡ ¢ £ ¢ §¡ ¢£¢ $ ¢¢ ¡ ¢ ¢  £¡¤   ¢¢ ¥¢  ' )© # (¦ % © ¨) This uses is easy to read. ¦§1¡ ¤ 2 ¨ # ¢  © 4 $ $) 4  #%¡ ¤ £¡ ¦¢ We will need to compare types for equality. We do this with the procedure , compares two types and reports an error unless they are equal. ¢  ¤ ¡ ¥) £ ¤  ©% # ¢© 4 £$¡$) 4 6.4.1 Implementing the Checker   $   ¡ £¢ ¢ $ £¢ ¡ ¢$   )  $ 1¡ © ¤ ! %( (  § $      ¤  2  $   ¤    ¢ ! ¢ ¤  ) ¤  )    $   '# )!  ¨ 2 ) ( ¡  ©%(  © 4 ¨$ $) 4 ¡ © # % ¡   ¡  ¡ ¡  % ¡ ©0('& ¨)$£¡ ¦ $) (© © $  ) ¦ ) (©  © # %  ¤ 1¡ © 4 ¨$ $) 4 ¡  © # % ¦ ¨) (© © 4 ¨$ $) 4 ¡ ¡ ¡ (©¡ ¡¡ ¢ ¡  % ¡  ¦ ¨)£ ¡ §      ¡  ¦¦ ¢  §¤ £¡ $   !  ) ¦ ¨)  (© ©0('& ¨)£¡  ¤   © $ 1¡ ¤  )  ) © ¤  $  1¡    !  $   ©§¤ £¡ ¦¦ ¢   ¤ ¢ ¦  £ (© ¡   $  ¡¢ ¢ ¡¢ £ ¢ £¨¤ ¡ £¢ $ ¢¢ ¡ ¢  $ ¡ £¢ ¡ £¢ ¡¢ £ ¢ ¡¢ £ ¢ £¨¤ ¡ £¢ ¢ £¨¤ ¡ £¢ ¢£¢ §¡ ¢ $¢  ¢   ¡ £¢ ¢ § £¢ ¡ ¡ £¢ ¢ $ £¢ ¡ ¢§ ¢$ ! ¢   ¤ 14 tenv tenv e2 tenv ¢ e1 tenv e1 ( e1 e2 ¢ ¢  ¡  )   © $  ¤ 1¡ ¤   ¢ ¦  £ (© ¡   © % ) ¡ ¥¨ # ¡ tenv var ¡ £¢ ¢ ¢ ( '#! $3¡    ¡  )3¡ ©'#! ¢ ¦ $)£ (©¡ ¢© © ¨$ © ¨©     ¢ ¦ $)£ (©¡ e1 tenv var tenv num tenv  ¨ ( ( (  ( 4 ¡ ¡ £¢ ©© ¦ $) (© ¢ § (¤ '  ¨   ! $   ¡   ( ( #  "4 ¡ 2 ¨ # ¢ #%¡ ¢ ¦ ¨)£ (©¡  ¨ ¢¢  !  © $$¤ $ ¤¡ ¢$  ¦  £ ¡ (© ¡       ¡     ¦ ¢   ¤ £¡ ¦¢ #' (' © ¨¦ ) ¨# ¡ #$' ¦ ) ('  ¦ ¡ ©©  #"4 ¡ 2 ¨ ¢ # ¢  #' (' © (©¡ ¦ )$ ¦ ¨)£  #%¡ ¤ £¡ ¦¢ tres    !  ¡ ¢  $     ¢ ¢ © ¡ © )£ ) % ¢  ¡ ©'# )¢ $!       $' '# $! ¡ ¥¢  ¢  $  ) ¢$  !   $  )  ©'# $$! )    $  ¡ $ ©¢ 2 '# )! © §       t2 ( ¡   $     (  ©4(' "¨)$ ¡ ¡    % ¡ ¡ ¢   % ¡  $  % ¡ © ¢ ¦ $)£ (©¡ ¢ §¡ ¢£ © 4 $ )) 4 ¡ ¡ ¡ ¡ %¡   ¡ ©¦¤ ¨§1¡ ¦ ) (©  ¦ ) (©  ¢ ¦ ¨)£ (©¡ ©¦¤ ¨§1¡    2 ¢  )  ¡ ¦(© ") '#! $3¡ ¢ ¦(©¡ ")¢  © 4 $ )) 4 ¡ ¡ '© (© ¡ $ $¦ ) £ ¡   §    (¤ ¨ ¦ $)£ (©¡ ¢ ¥ ¢ ¡ ¢¢ ¢ $ ¢  © ) ¢ 2 ¡ ¥¢ ¡ ©  )¢ §   ¡ ¡     ¨ ¡¢ ¢ ¢ £¨¤ ¡ ¢¢ ¢ £¨¤ ¡ £¢ £¢ ¡ ¡ £¢ ¢£¢ §¡ ¢ $ £¢  ¡ ¢ $   ¤ ¥) # ©%   2    ) © ( ¡ %( ¤ ¥) # ©% ¨        (¤ ¨ $$¦ ) '© (© ¡  !  )      (¤ ¨ $$¦ ) '© (© ¡   !  )   )   ©4('  "¨)$ ¡ ©4(' ¨) ¡ ¢ ¦  £ (© ¡ ! $ 2 ¢   ©   $ % ¡ £¢ ¢£¢ ¡ §¡ ¡¢ £ $ £¢ ¡ ¢ ©¨© ©¨© © ¨© ¢£§ ¢$ !   '¡ $£¡ ¡ ©'#! )...
View Full Document

Ask a homework question - tutors are online