Understanding Descs

--===============3172835728923366327==
Content-Type: multipart/alternative; boundary=001a11c174b0217398050c973d62

--001a11c174b0217398050c973d62
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Re-sending with a subject (sorry):

On 14 January 2015 at 17:52, William ML Leslie <[email protected]=
m
> wrote:

> =E2=80=8BIs the following a reasonable thing to do in DataE?=E2=80=8B
>
>
> (DescMaker <- NewFar(
> =E2=80=8B7=E2=80=8B
> , "x")) <-
>     __whenMoreResolved(someObType <- new(
>         DescMaker <- NewFar(
> =E2=80=8B8=E2=80=8B
> , "y"), some_data))
>
> =E2=80=8BThat is:  I allocate=E2=80=8B
> =E2=80=8B refs that allow two-way communication.  I (who sent this messag=
e) can
> call methods on your proxy someObType by sending to export 7, and you can
> call methods on my original someObType=E2=80=8B
>  by sending to import 8.=E2=80=8B
>
>
> =E2=80=8BJust trying to understand the Descs in CapTP,=E2=80=8B
>
>
> --
> William Leslie
>
> Notice:
> Likely much of this email is, by the nature of copyright, covered under
> copyright law.  You absolutely MAY reproduce any part of it in accordance
> with the copyright law of the nation you are reading this in.  Any attemp=
t
> to DENY YOU THOSE RIGHTS would be illegal without prior contractual
> agreement.
>
> _______________________________________________
> e-lang mailing list
> [email protected]
> http://www.eros-os.org/mailman/listinfo/e-lang
>
>


--=20
William Leslie

Notice:
Likely much of this email is, by the nature of copyright, covered under
copyright law.  You absolutely MAY reproduce any part of it in accordance
with the copyright law of the nation you are reading this in.  Any attempt
to DENY YOU THOSE RIGHTS would be illegal without prior contractual
agreement.

--001a11c174b0217398050c973d62
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:courier =
new,monospace">Re-sending with a subject (sorry):<br></div><div class=3D"gm=
ail_extra"><br><div class=3D"gmail_quote">On 14 January 2015 at 17:52, Will=
iam ML Leslie <span dir=3D"ltr">&lt;<a href=3D"mailto:william.leslie.ttg@gm=
ail.com" target=3D"_blank">[email protected]</a>&gt;</span> wrot=
e:<br><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-l=
eft:1px #ccc solid;padding-left:1ex"><div dir=3D"ltr"><span style=3D"font-f=
amily:monospace,monospace"><div style=3D"font-family:courier new,monospace;=
display:inline">=E2=80=8BIs the following a reasonable thing to do in DataE=
?=E2=80=8B</div><br><br>(DescMaker &lt;- NewFar(<div style=3D"font-family:c=
ourier new,monospace;display:inline">=E2=80=8B7=E2=80=8B</div>, &quot;x&quo=
t;)) &lt;-<br>=C2=A0=C2=A0=C2=A0 __whenMoreResolved(someObType &lt;- new(<b=
r>=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 DescMaker &lt;- NewFar(<div st=
yle=3D"font-family:courier new,monospace;display:inline">=E2=80=8B8=E2=80=
=8B</div>, &quot;y&quot;), some_data))<br><br><div style=3D"font-family:cou=
rier new,monospace;display:inline">=E2=80=8BThat is:=C2=A0 I allocate=E2=80=
=8B</div><div style=3D"font-family:courier new,monospace;display:inline">=
=E2=80=8B refs that allow two-way communication.=C2=A0 I (who sent this mes=
sage) can call methods on your proxy someObType by sending to export 7, and=
 you can call methods on my original someObType=E2=80=8B</div><div style=3D=
"font-family:courier new,monospace;display:inline">=C2=A0by sending to impo=
rt 8.=E2=80=8B</div><br><br><div style=3D"font-family:courier new,monospace=
;display:inline">=E2=80=8BJust trying to understand the Descs in CapTP,=E2=
=80=8B</div><span class=3D"HOEnZb"><font color=3D"#888888"><br><br>-- <br>W=
illiam Leslie<br><br>Notice:<br>Likely much of this email is, by the nature=
 of copyright, covered under copyright law.=C2=A0 You absolutely MAY reprod=
uce any part of it in accordance with the copyright law of the nation you a=
re reading this in.=C2=A0 Any attempt to DENY YOU THOSE RIGHTS would be ill=
egal without prior contractual agreement.</font></span></span></div>
<br>_______________________________________________<br>
e-lang mailing list<br>
<a href=3D"mailto:[email protected]">[email protected]</a><br>
<a href=3D"http://www.eros-os.org/mailman/listinfo/e-lang" target=3D"_blank=
">http://www.eros-os.org/mailman/listinfo/e-lang</a><br>
<br></blockquote></div><br><br clear=3D"all"><br>-- <br><div class=3D"gmail=
_signature">William Leslie<br><br>Notice:<br>Likely much of this email is, =
by the nature of copyright, covered under copyright law.=C2=A0 You absolute=
ly MAY reproduce any part of it in accordance with the copyright law of the=
 nation you are reading this in.=C2=A0 Any attempt to DENY YOU THOSE RIGHTS=
 would be illegal without prior contractual agreement.</div>
</div></div>

--001a11c174b0217398050c973d62--

--===============3172835728923366327==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
e-lang mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/e-lang

--===============3172835728923366327==--