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

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

Ask a homework question - tutors are online