<br><font size=2 face="sans-serif">I am confused on the type annotation
for this function:</font>
<br>
<br><font size=2 face="sans-serif">CopyFirst :: Int *(a e) -&gt; *(a e)
| Array a e</font>
<br><font size=2 face="sans-serif">CopyFirst j a=:{[0]=a0} = {a &amp; [j]
= a0}</font>
<br>
<br><font size=2 face="sans-serif">It looks like the function CopyFirst
takes two arguments. The first is an integer. The second argument confuses
me. The asterisk in front of (a e) means some data type which receives
destructive updates.</font>
<br><font size=2 face="sans-serif">But the syntax (a e) was not previously
introduced. </font>
<br>
<br><font size=2 face="sans-serif">And then the type restriction confuses
me...</font>
<br>
<br><font size=2 face="sans-serif">| Array a e</font>
<br>
<br><font size=2 face="sans-serif">seems to say 'provided a and e are of
type Array' ?</font>
<br>
<br><font size=2 face="sans-serif">And then the actual code of the function
confuses me... actually I think I got it</font>
<br>
<br><font size=2 face="sans-serif">First: &nbsp; CopyFirst j a=:{[0]=a0}</font>
<br>
<br><font size=2 face="sans-serif">the function takes 2 arguments, j (an
integer) and then a, an array, but it also sets a0 to the first element
of the array a... of course this looks odd. Why is a0 on the RHS instead
of LHS?</font>
<br>
<br><font size=2 face="sans-serif">Then: the actual function body starts
... {a &amp; [j] = a0} &nbsp;is saying 'take a and update the jth position
with the value a0'</font>
<br><font size=2 face="sans-serif">but the problem is a0 is never defined.</font>
<br>
<br><font size=2 face="sans-serif">So, to summarize:</font>
<br>
<br><font size=2 face="sans-serif">1 - the syntax *(a e) is used but not
previously defined</font>
<br><font size=2 face="sans-serif">2 - the type restriction | Array a e
is a bit confusing</font>
<br><font size=2 face="sans-serif">3 - it seems odd that a0 is on the RHS
of {[0] = a0} instead of the LHS</font>
<br>
<br>
<br>
<br><font size=2 face="sans-serif">--<br>
Terrence Brannon - SID W049945<br>
1111 Polaris Pkwy, OH1-1141, Columbus, OH 43240 <br>
818-359-0893 (cell)<br>
614-213-3426 (fax)<br>
<br>
<br>
<br>
</font>
<P><hr size=1></P>
<P>
This communication is for informational purposes only. It is not intended as an offer or solicitation for the purchase or sale of any financial instrument or as an official confirmation of any transaction. All market prices, data and other information are not warranted as to completeness or accuracy and are subject to change without notice. Any comments or statements made herein do not necessarily reflect those of JPMorgan Chase & Co., its subsidiaries and affiliates.

This transmission may contain information that is privileged, confidential, legally privileged, and/or exempt from disclosure under applicable law. If you are not the intended recipient, you are hereby notified that any disclosure, copying, distribution, or use of the information contained herein (including any reliance thereon) is STRICTLY PROHIBITED. Although this transmission and any attachments are believed to be free of any virus or other defect that might affect any computer system into which it is received and opened, it is the responsibility of the recipient to ensure that it is virus free and no responsibility is accepted by JPMorgan Chase & Co., its subsidiaries and affiliates, as applicable, for any loss or damage arising in any way from its use. If you received this transmission in error, please immediately contact the sender and destroy the material in its entirety, whether in electronic or hard copy format. Thank you.

Please refer to http://www.jpmorgan.com/pages/disclosures for disclosures relating to UK legal entities.
</P>