Lecture 5 Notes

15 16 implementation

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: en the environment will look like saved−env v2 x v1 ¥ £ y so that the values of and will be found by taking either 1 cdr or 0 cdrs in the environment, regardless of the values v 1 and v2 . 14 Same thing works for procedure bodies. Consider § is at lexical depth 0 and  £ £ ¤ ¢ £ ¢  ¡  $# %© £¥ ¢¦¡ §£ ¨¢ ¢ ¤ In the body of the procedure, is at lexical depth 1. The value of this expression is §§ £ ¦¨ ¤ § ¢ £ ¢ §£ ¨¢ ¥ I# © ¢ ¡  ¡  ¤ ¡ £ ¢ § !§ # ¡ ©  %¢¦¡ #£¥ ¤ ¢ ¥© ¤ I¤  ¢ ¥ I# © ¢ § ©        §¦§ ¤ ¢ ¦¥ ¡ © £ ¦¡ ¤ £¥ ¥   ¢¡ £ ¡  ¢ §§ ¦¨ £ ¢ ¢¦¡ ¤ ¦¥ £¥ ¥ § § ¥ ¦¥ $# %© £¥ ¢¦¡  ©   § £ ¨¢0  § # ! # $ £ # £ ¢ £ ¤# # % The body of this procedure can only be evaluated by , say §     ¦¨ £ §§  ¢ § £ ¢ ¢ ¥ ¦¥ # ¡ © #£¥ %¢9¡ £# ¤¡ ¢ ¡ £ ¢ ¢ ¥ I# © ¢ ©     ¦  ¥  §§ £ ¥ ¦¨ ¤ ¦¥ § § ¥© §¥ ¤ © %¢¦¡ I ¤ #£¥ ¤ ¤    £ So again every variable is found in the environment at the place predicted by its lexical depth. If we had multiple arguments, then we’d have to keep track of the position, too, but that’s also static. 15  ¢ ¡© £¡  # !£ © £ 16 ¤¦ # ¡ ¤ © $ ¤© ¤¡ ¡ £# £ # ) $ ¢ Implementation is at Will then write a new version of that will find the value of such a nameless program, without putting identifiers in the environment.  ¡  ¥ ¦¡ ¢ §§§§§§ !!!!) § ¢ ¤ ¢ ¤ ¨ ¥¢ £# !¢ # © ©   ¡  ¢ ¢¡ ¡  ¢ ¢¡  ¡ ¡  ¢ ¢¡ ¡  ¢ ¢¡   ¡ ¡ £# !¢ ¤ ¦ § ¡ £# !¢ ¤ ¤ §§ )  ¡ £# !¢ #©  #  #©  #  ¤ £# )¢ #©  #  #©  #  ¤ £# )¢ ¤ £ #)¢£$%¢ ¢¡ #© ¡ ¤ ¤ £¥ ¢¦¡ ¢ £ !¢ # ¤ § ¥ ¢$ £ © ¢$ ¡ £ ¡ ¡ ¢$ £ © ¢$ ¡ £ ¡ ¡ ¡!¡  ¢$ £ © ¡ $ ¡ £ ¡ ¢$ £ © ¡¢$ ¡ £ ¡ ¡¢$ £ © ¡¢$ ¡ £ ¡ !¡  ¡¢$ £ © ¡ $ ¡ £ #©  #¨ ¡¢£ © ¢$ ¡ £ $ ¡ ¡ ¢¡ # ©#   £...
View Full Document

Ask a homework question - tutors are online