Lecture 4 Notes

This is necessary because the type of the output may

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: ¡ % £ £ £ © © £ § § §¨¡  ¡ £ § ¨¡  ¡ £ ¡ § © £ © ¤  ¡ £ © ¡ % £ £   % ¥¡  ¡   ¡ £ © © £ © ¡   § § ¨¡ § ¡ ¢¢ § ¡ ¡ ¢¢ ©  ¡ £ ¡ % £ ¢ £ ¥ ¦ ¡  ©   ¡ £ ¡ % £ ¢  ¢  % £ ¢ ¡% £  8 ¡  ¡¡ ££ ¢ 8©© ¢ ¡¡ % ©© ££ ¢ £   § ¨¡ § ¡ % £ © £ ¥ ¦ ¡ 3¡ % £  © ¢   £ ¡%© ¡ ©£ ¢ £¡ © £ £  % ¥¡ ¤  % ¥¡ ¤ £ ¡ % £ © ¡ % £ © ¢ £ £ ¢ ¡  £  %£ ¡% £ ¦¡¦ §¤§ £ § ¡  ¡ £ £ £    £ £ © ¡  ¡ £ ¢ © ¢ ¡ % £ ¢ £   % ¥¡ ¡ © ¡ £ £ © ¤   We perform this expansion by examining the type. If the type is a type, we recur on the type of the argument and the type of the result. If the type is a named type, then we call to see if it is bound transparently. If it is, then we recur on its definition. If it is a qualified type, we call to handle the job. If none of these cases apply, then the type must be or or a named type...
View Full Document

This document was uploaded on 03/17/2014 for the course CSG 111 at Northeastern.

Ask a homework question - tutors are online