Distribute.html 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100
  1. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
  2. <html>
  3. <!-- Created on December 10, 2012 by texi2html 1.82
  4. texi2html was written by:
  5. Lionel Cons <[email protected]> (original author)
  6. Karl Berry <[email protected]>
  7. Olaf Bachmann <[email protected]>
  8. and many others.
  9. Maintained by: Many creative people.
  10. Send bugs and suggestions to <[email protected]>
  11. -->
  12. <head>
  13. <title>avram - a virtual machine code interpreter: 2.7.14.3 Distribute</title>
  14. <meta name="description" content="avram - a virtual machine code interpreter: 2.7.14.3 Distribute">
  15. <meta name="keywords" content="avram - a virtual machine code interpreter: 2.7.14.3 Distribute">
  16. <meta name="resource-type" content="document">
  17. <meta name="distribution" content="global">
  18. <meta name="Generator" content="texi2html 1.82">
  19. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  20. <style type="text/css">
  21. <!--
  22. a.summary-letter {text-decoration: none}
  23. blockquote.smallquotation {font-size: smaller}
  24. pre.display {font-family: serif}
  25. pre.format {font-family: serif}
  26. pre.menu-comment {font-family: serif}
  27. pre.menu-preformatted {font-family: serif}
  28. pre.smalldisplay {font-family: serif; font-size: smaller}
  29. pre.smallexample {font-size: smaller}
  30. pre.smallformat {font-family: serif; font-size: smaller}
  31. pre.smalllisp {font-size: smaller}
  32. span.roman {font-family:serif; font-weight:normal;}
  33. span.sansserif {font-family:sans-serif; font-weight:normal;}
  34. ul.toc {list-style: none}
  35. -->
  36. </style>
  37. </head>
  38. <body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
  39. <a name="Distribute"></a>
  40. <table cellpadding="1" cellspacing="1" border="0">
  41. <tr><td valign="middle" align="left">[<a href="Reverse.html#Reverse" title="Previous section in reading order"> &lt; </a>]</td>
  42. <td valign="middle" align="left">[<a href="Transpose.html#Transpose" title="Next section in reading order"> &gt; </a>]</td>
  43. <td valign="middle" align="left"> &nbsp; </td>
  44. <td valign="middle" align="left">[<a href="Virtual-Machine-Specification.html#Virtual-Machine-Specification" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
  45. <td valign="middle" align="left">[<a href="List-Functions.html#List-Functions" title="Up section"> Up </a>]</td>
  46. <td valign="middle" align="left">[<a href="Library-Reference.html#Library-Reference" title="Next chapter"> &gt;&gt; </a>]</td>
  47. <td valign="middle" align="left"> &nbsp; </td>
  48. <td valign="middle" align="left"> &nbsp; </td>
  49. <td valign="middle" align="left"> &nbsp; </td>
  50. <td valign="middle" align="left"> &nbsp; </td>
  51. <td valign="middle" align="left">[<a href="avram.html#Top" title="Cover (top) of document">Top</a>]</td>
  52. <td valign="middle" align="left">[<a href="avram_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
  53. <td valign="middle" align="left">[<a href="Function-Index.html#Function-Index" title="Index">Index</a>]</td>
  54. <td valign="middle" align="left">[<a href="avram_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
  55. </tr></table>
  56. <hr size="1">
  57. <a name="Distribute-1"></a>
  58. <h4 class="subsubsection">2.7.14.3 Distribute</h4>
  59. <p>The function with the following virtual code representation is
  60. frequently useful for manipulating lists.
  61. <a name="index-distribute"></a>
  62. </p>
  63. <dl compact="compact">
  64. <dt> <em>T30</em></dt>
  65. <dd><p><code>distribute</code> = <code>(((nil,nil),nil),nil)</code>
  66. </p></dd>
  67. </dl>
  68. <p>This function takes a pair whose right side represents a list, and
  69. returns a list of pairs, with one pair for each item in the list. The
  70. left side of each pair is the left side of the original argument, and
  71. the right side is the corresponding item of the list. A semantics for
  72. this operation is specified by the following properties.
  73. </p>
  74. <dl compact="compact">
  75. <dt> <em>P39</em></dt>
  76. <dd><p>[[<code>distribute</code>]] <code>(<var>x</var>,nil)</code> = <code>nil</code>
  77. </p></dd>
  78. <dt> <em>P40</em></dt>
  79. <dd><p>[[<code>distribute</code>]] <code>(<var>x</var>,(<var>y</var>,<var>z</var>))</code> =
  80. <code>((<var>x</var>,<var>y</var>),</code>[[<code>distribute</code>]] <code>(<var>x</var>,<var>z</var>))</code>
  81. </p></dd>
  82. </dl>
  83. <hr size="1">
  84. <p>
  85. <font size="-1">
  86. This document was generated on <i>December 10, 2012</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  87. </font>
  88. <br>
  89. </p>
  90. </body>
  91. </html>