Lecture 4 Notes

For our new checker we make sure that all types in the

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: ¡  '£ £ ©  ' £ £ If is a transparent type, then of . £ ¡¤&1¡ £ ©   § ¨ ¡ 6¢ ¥£¡ $ ¡ ¡  ¢£ ¡ % £  © " %   ¡ © £ &£  ¡ ¡ 1 © ¡ % £ © $'  0 £ § § ¥ ¤ ¤¢ § £ ¡ 56&£ §¨ 38¡  " ¤ £  ¡  % §£% ¨ ¢ ¡  © § £ £ 8©  £ ¡ 6&£ ¨38¡  5 §  ¢ ¡ £ ©  ¢ £ . Since has been exported transparently, we can use outside the module definition as an abbreviation for . Here we have used it to declare the type of the bound variable . £ ©  ¤ has type Example 13. A type definition acts like a type abbreviation inside the module body. £ ¤¢ § 29 $§§¥ ¤ ¡ £ ¢ ¡ % £ © £ " ¤£  ¡  % ' £ © ' £ ¡ % ¢ $ § £ ¡¢ ¡ '£ © £  £ " %   ¡ © £ &£  ¡ ¡ 1 © § ) ) 7¡ 56&£ ¨ 8¡ 1 £  §  §£% ¨ ¢ ¡  © . £ 8©  ¡¤&1¡ £ ©   § ¨ ¡ 6¢ ¥£¡ £ ©  has type 30 , even though does not import § ¨ § £ ©  ¢ ¢ ¡ £ ©...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online