Lecture 4 Notes

50 9 99 1

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:  § ¨ ¡ ¤¢ ¥£¡ $ § ¤ £ ¡ ¡  § Example 17. A module can export an abstract type and some operations on that abstract type. Then the only way that the rest of the program can operate on values of the abstract type is through these operations. For example, the program §£ §£ § £ ¡ 6&£ 5 ¡ ¡ ©  02¡  ££ § ¡   ¦ ¡ ¥ £ £     © £  3¡ 6£ ¡ © 38¡ 1 ' £  (¤¡ © ¡   5 £  ¡  ¡¤¦ 0¡ 6&£ ¡ © 8¡  ' ¡   ¤¡ © 5 ¦ £  ¡¡ ¡ ¥ 1£ ¡ 6&£ ¢ © 38¡  ' ¡ ¥ 1£ ¤¡  5  £ ¡ 1¡ © ¢ ¢1 © £ ¡% $ § ¡ ¡  ¡ ¡  §£ 34 , and has value 13. § has type ¤ £" ¡¦ ¤ ¡ ¡¥£ ¡  ¡  © ¡ ¤ £  ¡  % ' ¡ ¢ ¡ ¥ 1£ ¤ ¡  ¡¦ ¡¦  ¤   ¡ ¥ £ § ¤ £ ¡ ¡  ©  § £ " ¤£  ¡  % ' £ ¦ 7¤ ¡ ¡¦ ©  ¡ ¦£ ¥ ¤ £ ¡ ¦¡ © £ " ©£  ¡  % £ § '  ¡  % 3£ ) 2§ ' ¡£ ¡ § § ¡ £" ¤ £ ©  ' ' £  ¢ ¢ ££ §£ ¢¢ £ ¢ ££ ¢ ¢ £ ¡ $ § 1¡ §§ ¡¤ & ¦ ¡ ¥ £  % ¡ % £ © £  ¡ © ¤&£  ¡ ¡  © " ¡ ¡ £ ¡ £"£ " £ !£ £ " ¤¦ ¡ £ " ¡¥ £ &1£ ¦  ¢ ¡ £ ¢ ¢ ¡ % £ © £ ¡   1...
View Full Document

Ask a homework question - tutors are online