Lecture 4 Notes

39 next we introduce a systematic way of handling

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: ently. This will allow it to accept § ¡¢ ¡£ § ¢ ¢  ¤¡ £ ¡ £¡¦ £ ¢  ¡£ ¢  ¤¡ £ ¡ % £ " © ¢ § § £ 8©  § ¢ £ ©  £ ©  §£¦ ¢ ¢ £ § £ ¢ ¢ £ § ¡¢ § " ¡¢ ¡£ ¢ £ © " ¢  ¤¡ £ ¡  £ © ¡ £ © ¢  £ © ¡ £ © " ¢  ¢ ¢  ¤¡ £ ¡ £¡¦ £ ¢  ¡¡ ¢ ¢ ¡ ¢ ¡ the actual type for ¡¢ ¡£ ¢ ¢  ¤¡ £ ¡ £ ¢  £¡¦ £ but reject § ¡ % £ " © ¢ ¡¡ ¢ ¢ ¡ £ " § ¥ ¦ ¡ ¥ © ¡¢ ¢ ¢  ¤¡ £ ¡ ¡£ ¢  £¡¦ £ £ as it should. We write for the result type of to indicate that it either returns a substitution or . We wrap the first call to in a because it might return .  ¥ &¡    1  1 25 § § 9 99 ¢' § 9 £ £ 99 £¡ £ §§ § §§ ©£ ©£ 26 § § § § §  ¤ ¡ £  ¡¦ § § §  ¤¦ ¡ £ ¡ §§§§£¦ ¥¦ ¡ % £ ¢ £ ¥ §¡  ¢ ¢ ¡ % £ ¢  ¡  % £ © ¦ © ¡ % £ ¢ £ ¥ §¡  ¢ ¢ ¡ % £ ¢  ¡  % £ © ¦ ©  ¥ &¡  £  § § £ ¦ ¥ ¦ £    £ £ ¢' §£¦ ¥¦ § © £ ¡ % £ ¢  ¡¢ ¡ % £ ¢  ¡  % £ © ¢ © § § ©£ ¡ % £ ¢  ¡¢ ¡ % £ ¢  ¡  % £ © ¢ ©  ¥ &¡  £ £  £¡£ % © £ ¢  ¡  % £ § § £ ¡¡ % £ ¢  ¡  % £ £   £ £ © © §§ £¦ ¥¦ §©£ © £  ¥ &¡  £  § © £ ¡¡ % £ ¢  ¡ £ £ £ © § § £ ¦ ¥ ¦ £ § £ £ ¦ ¥ ¦ ¢ £  ¡...
View Full Document

Ask a homework question - tutors are online