Re: curlyBrackets & squareBrackets
"sunwinson" <[email protected]> Sun, 18 Nov 2012 16:33:29 -0000
| Newsgroups | gmane.comp.lang.io |
|---|---|
| Message-ID | <[email protected]> |
--cpAZGFCcouSn0VoVvS1qgKJeesNKQlFe7iBaZCj
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Jake (and all interested),
Yes, I found the code you mentioned.
This part is only effective on Lex, which are creating for tokens (Type :=
=3D IDENTIFIER).
Tokens are output of IoLexer_lex, keepinging in IoState.tokenStream.
Token name will be copied to DATA(IoMessage)->name, and arguments will be a=
ttached to the same IoMessage too.
In my head, the next sample code,
[Io]
Table area( x, y, angle)
will be translated into parser tree as:
[parser 1]
Table{IoObject} -> area(IoMessage) -> ""(IoMessage) -> x, y, angle (IoList)
or=20
[parser 2]
Table{IoObject} -> area(IoMessage) -> x, y, angle (IoList)
If [parser 1] is correct, the overrided "" will replace the original CFunct=
ion, then it works well.
If [parser 2] is correct, I have no idea how "" is replaced internally when=
user define their own "" method.
[My Questions]
In my intuitive sense, I think [parser 2] is the correct one in Io Engine. =
For this assumption, how "" method replace original CFunction in Paser? The=
re should be some code to search "" matching, I think, while, I didn't find=
~~~.
Can anyone enlight me, how this replacement of "Brackets" works, how the En=
gine find the overrided method and execute it?
I want to understand more to implement some feature to replace seperator ",=
" in the future.
Many thanks!
Winson
--- In [email protected], Jacob Peck <gatesphere@...> wrote:
>
> From the source code, it's pretty clear here:
>=20
> https://github.com/stevedekorte/io/blob/master/libs/iovm/source/IoLexer.c=
#L558-563
>=20
> That is, [] and {} are just replaced with the message "squareBrackets"=20
> and "curlyBrackets", and from then on they're passed along just like any=
=20
> other message. It's in the lexer, before the parser even gets a hold of=
=20
> them.
>=20
> -->Jake
>=20
> On 11/13/2012 3:41 PM, Jeremy Tregunna wrote:
> >
> > Alright, so "curlyBrackets", "squareBrackets" and "" are all treated=20
> > specially. They correspond to {}, [] and ().
> >
> > They are processed specially because they capture infix expressions.=20
> > That is to say, the expression itself is stuck between two known tokens=
.
> >
> > I'll provide an implementation of list() using all three (tl;dr, it's=20
> > the same code for all three methods)
> >
> > curlyBrackets :=3D method(call evalArgs)
> > squareBrackets :=3D method(call evalArgs)
> > setSlot("", method(call evalArgs))
> >
> > Now we can do: {1, 2, 3} or [1, 2, 3] or (1, 2, 3) /* so long as the=20
> > latter is preceded by a space */
> >
> > and things just magically work as you'd expect. That method is called,=
=20
> > and since "call evalArgs" iterates over the messages supplied as=20
> > arguments, evaluating them in the sending context.
> >
> > The "curlyBrackets" and "squareBrackets" methods are not defined by=20
> > default, they are permitted for user code, but the core language=20
> > doesn't define them. "" on the other hand, is defined by the system,=20
> > and it's just defined as:
> >
> > setSlot("", method(call evalArgAt(0)))
> >
> > I hope this clears up how this works.
> >
> > Regards,
> >
> > Jeremy Tregunna
> >
> > On Monday, 12 November, 2012 at 8:10 AM, sunwinson wrote:
> >
> >> I was confused about how "curlyBrackets" or "squareBrackets" are over=
=20
> >> rided by runtime.
> >>
> >> [Example]
> >> I saw some wonderful example about redefining curlyBrackets or=20
> >> squareBrackets, to create graceful DSL to handle the next txt file:
> >> {
> >> "Blair, Black": 10,
> >> "John, Kelly": 11
> >> }
> >>
> >> Redefining "curlyBrackets" can operate the item one by by as a map.
> >>
> >> [My Research]
> >> I searched:
> >> 1. all slotNames of "Object" for "curlyBrackets", none was found.
> >> 2. source code of Io language, only find one instance in Lexer, which=
=20
> >> returns "curlyBrackets" as the name of IDENTIFIER token and finally=20
> >> become the name of IoObject/IoObjectData. The weird thing is, it=20
> >> seems no one is using IoObject name or IDENTIFIER in parser. May I=20
> >> miss anything in source code?
> >>
> >> [My Guess]
> >> 1. "curlyBrackets" should be some one's secret slot name, but I=20
> >> didn't find in reference nor Object/Lobby.
> >> 2. "curlyBrackets" is specially proceed in parser, to check "if=20
> >> anyone implement that name, then use the specified method object".
> >>
> >> Could anyone can help me to understand how this "curlyBrackets" works=
=20
> >> from complier perspective? Thanks a lot!
> >>
> >
> >
>
--cpAZGFCcouSn0VoVvS1qgKJeesNKQlFe7iBaZCj
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
</head>
<body style="background-color: #fff;">
<span style="display:none"> </span>
<!--~-|**|PrettyHtmlStartT|**|-~-->
<div id="ygrp-mlmsg" style="position:relative;">
<div id="ygrp-msg" style="z-index: 1;">
<!--~-|**|PrettyHtmlEndT|**|-~-->
<div id="ygrp-text" >
<p>Jake (and all interested),<br>
<br>
Yes, I found the code you mentioned.<br>
<br>
This part is only effective on Lex, which are creating for tokens (Type := IDENTIFIER).<br>
<br>
Tokens are output of IoLexer_lex, keepinging in IoState.tokenStream.<br>
<br>
Token name will be copied to DATA(IoMessage)->name, and arguments will be attached to the same IoMessage too.<br>
<br>
In my head, the next sample code,<br>
[Io]<br>
Table area( x, y, angle)<br>
<br>
will be translated into parser tree as:<br>
<br>
[parser 1]<br>
Table{IoObject} -> area(IoMessage) -> ""(IoMessage) -> x, y, angle (IoList)<br>
<br>
or <br>
<br>
[parser 2]<br>
Table{IoObject} -> area(IoMessage) -> x, y, angle (IoList)<br>
<br>
If [parser 1] is correct, the overrided "" will replace the original CFunction, then it works well.<br>
<br>
If [parser 2] is correct, I have no idea how "" is replaced internally when user define their own "" method.<br>
<br>
[My Questions]<br>
In my intuitive sense, I think [parser 2] is the correct one in Io Engine. For this assumption, how "" method replace original CFunction in Paser? There should be some code to search "" matching, I think, while, I didn't find~~~.<br>
<br>
Can anyone enlight me, how this replacement of "Brackets" works, how the Engine find the overrided method and execute it?<br>
<br>
I want to understand more to implement some feature to replace seperator "," in the future.<br>
<br>
Many thanks!<br>
<br>
Winson<br>
<br>
--- In <a href="mailto:iolanguage%40yahoogroups.com">[email protected]</a>, Jacob Peck <gatesphere@...> wrote:<br>
><br>
> From the source code, it's pretty clear here:<br>
> <br>
> <a href="https://github.com/stevedekorte/io/blob/master/libs/iovm/source/IoLexer.c#L558-563">https://github.com/stevedekorte/io/blob/master/libs/iovm/source/IoLexer.c#L558-563</a><br>
> <br>
> That is, [] and {} are just replaced with the message "squareBrackets" <br>
> and "curlyBrackets", and from then on they're passed along just like any <br>
> other message. It's in the lexer, before the parser even gets a hold of <br>
> them.<br>
> <br>
> -->Jake<br>
> <br>
> On 11/13/2012 3:41 PM, Jeremy Tregunna wrote:<br>
> ><br>
> > Alright, so "curlyBrackets", "squareBrackets" and "" are all treated <br>
> > specially. They correspond to {}, [] and ().<br>
> ><br>
> > They are processed specially because they capture infix expressions. <br>
> > That is to say, the expression itself is stuck between two known tokens.<br>
> ><br>
> > I'll provide an implementation of list() using all three (tl;dr, it's <br>
> > the same code for all three methods)<br>
> ><br>
> > curlyBrackets := method(call evalArgs)<br>
> > squareBrackets := method(call evalArgs)<br>
> > setSlot("", method(call evalArgs))<br>
> ><br>
> > Now we can do: {1, 2, 3} or [1, 2, 3] or (1, 2, 3) /* so long as the <br>
> > latter is preceded by a space */<br>
> ><br>
> > and things just magically work as you'd expect. That method is called, <br>
> > and since "call evalArgs" iterates over the messages supplied as <br>
> > arguments, evaluating them in the sending context.<br>
> ><br>
> > The "curlyBrackets" and "squareBrackets" methods are not defined by <br>
> > default, they are permitted for user code, but the core language <br>
> > doesn't define them. "" on the other hand, is defined by the system, <br>
> > and it's just defined as:<br>
> ><br>
> > setSlot("", method(call evalArgAt(0)))<br>
> ><br>
> > I hope this clears up how this works.<br>
> ><br>
> > Regards,<br>
> ><br>
> > Jeremy Tregunna<br>
> ><br>
> > On Monday, 12 November, 2012 at 8:10 AM, sunwinson wrote:<br>
> ><br>
> >> I was confused about how "curlyBrackets" or "squareBrackets" are over <br>
> >> rided by runtime.<br>
> >><br>
> >> [Example]<br>
> >> I saw some wonderful example about redefining curlyBrackets or <br>
> >> squareBrackets, to create graceful DSL to handle the next txt file:<br>
> >> {<br>
> >> "Blair, Black": 10,<br>
> >> "John, Kelly": 11<br>
> >> }<br>
> >><br>
> >> Redefining "curlyBrackets" can operate the item one by by as a map.<br>
> >><br>
> >> [My Research]<br>
> >> I searched:<br>
> >> 1. all slotNames of "Object" for "curlyBrackets", none was found.<br>
> >> 2. source code of Io language, only find one instance in Lexer, which <br>
> >> returns "curlyBrackets" as the name of IDENTIFIER token and finally <br>
> >> become the name of IoObject/IoObjectData. The weird thing is, it <br>
> >> seems no one is using IoObject name or IDENTIFIER in parser. May I <br>
> >> miss anything in source code?<br>
> >><br>
> >> [My Guess]<br>
> >> 1. "curlyBrackets" should be some one's secret slot name, but I <br>
> >> didn't find in reference nor Object/Lobby.<br>
> >> 2. "curlyBrackets" is specially proceed in parser, to check "if <br>
> >> anyone implement that name, then use the specified method object".<br>
> >><br>
> >> Could anyone can help me to understand how this "curlyBrackets" works <br>
> >> from complier perspective? Thanks a lot!<br>
> >><br>
> ><br>
> ><br>
><br>
<br>
</p>
</div>
<!--~-|**|PrettyHtmlStart|**|-~-->
<div style="color: #fff; height: 0;">__._,_.___</div>
<table cellspacing=4px style="margin-top: 20px; margin-bottom: 10px;">
<tbody>
<tr>
<td style="font-size: 12px; font-family: arial; font-weight: bold; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA " >
<a style="text-decoration: none; color: #2D50FD" href="http://groups.yahoo.com/group/iolanguage/post;_ylc=X3oDMTJxcTB2cHBkBF9TAzk3MzU5NzE0BGdycElkAzY2Nzc0NzYEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzEzMjg3BHNlYwNmdHIEc2xrA3JwbHkEc3RpbWUDMTM1MzI1NjQxMw--?act=reply&messageNum=13287">Reply via web post</a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; " >
<a href="mailto:[email protected]?subject=Re%3A%20%5BIo%5D%20curlyBrackets%20%26%20squareBrackets" style="text-decoration: none; color: #2D50FD;">
Reply to sender </a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; ">
<a href="mailto:[email protected]?subject=Re%3A%20%5BIo%5D%20curlyBrackets%20%26%20squareBrackets" style="text-decoration: none; color: #2D50FD">
Reply to group </a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #FFF; background-color: #F2F2F2; border: 1px solid #EAEAEA; " >
<a href="http://groups.yahoo.com/group/iolanguage/post;_ylc=X3oDMTJlazRoaDZoBF9TAzk3MzU5NzE0BGdycElkAzY2Nzc0NzYEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTM1MzI1NjQxMw--" style="text-decoration: none; color: #2D50FD">Start a New Topic</a>
</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px; color: #2D50FD; background-color: #F2F2F2; border: 1px solid #EAEAEA; " >
<a href="http://groups.yahoo.com/group/iolanguage/message/13282;_ylc=X3oDMTM2NzZtc3ZvBF9TAzk3MzU5NzE0BGdycElkAzY2Nzc0NzYEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzEzMjg3BHNlYwNmdHIEc2xrA3Z0cGMEc3RpbWUDMTM1MzI1NjQxMwR0cGNJZAMxMzI4Mg--" style="text-decoration: none; color: #2D50FD;">Messages in this topic</a>
(5)
</td>
</tr>
</tbody>
</table>
<!------- Start Nav Bar ------>
<!-- |**|begin egp html banner|**| -->
<!-- |**|end egp html banner|**| -->
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-vital" style="background-color: #f2f2f2; font-family: Verdana; font-size: 10px; margin-bottom: 10px; padding: 10px;">
<span id="vithd" style="font-weight: bold; color: #333; text-transform: uppercase; ">Recent Activity:</span>
<ul style="list-style-type: none; margin: 0; padding: 0; display: inline;">
<li style="border-right: 1px solid #000; font-weight: 700; display: inline; padding: 0 5px; margin-left: 0;">
<span class="cat"><a href="http://groups.yahoo.com/group/iolanguage/members;_ylc=X3oDMTJmNGZtNmJoBF9TAzk3MzU5NzE0BGdycElkAzY2Nzc0NzYEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZtYnJzBHN0aW1lAzEzNTMyNTY0MTM-?o=6" style="text-decoration: none;">New Members</a></span>
<span class="ct" style="color: #ff7900;">2</span>
</li>
</ul>
<div style="clear: both; padding-top: 2px; color: #1e66ae;">
<a href="http://groups.yahoo.com/group/iolanguage;_ylc=X3oDMTJlOGc5bDF2BF9TAzk3MzU5NzE0BGdycElkAzY2Nzc0NzYEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTM1MzI1NjQxMw--" style="text-decoration: none;">Visit Your Group</a>
</div>
</div>
<div id="ft" style="font-family: Arial; font-size: 11px; margin-top: 5px; padding: 0 2px 0 0; clear: both;">
<a href="http://groups.yahoo.com/;_ylc=X3oDMTJkb2Rlc2g2BF9TAzk3MzU5NzE0BGdycElkAzY2Nzc0NzYEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzdGltZQMxMzUzMjU2NDEz" style="float: left;"><img src="http://l.yimg.com/a/i/us/yg/logo/us.gif" height="15" width="137" alt="Yahoo! Groups" style="border: 0;"/></a>
<div style="color: #747575; float: right;">Switch to: <a href="mailto:[email protected]?subject=Change Delivery Format: Traditional" style="text-decoration: none;">Text-Only</a>, <a href="mailto:[email protected]?subject=Email Delivery: Digest" class="margin-rt" style="text-decoration: none;">Daily Digest</a> • <a href="mailto:[email protected]?subject=Unsubscribe" style="text-decoration: none;">Unsubscribe</a> • <a href="http://docs.yahoo.com/info/terms/" style="text-decoration: none;">Terms of Use</a> • <a href="mailto:[email protected]?subject=Feedback on the redesigned individual mail v1" style="text-decoration: none;">Send us Feedback </a></div>
</div>
<!-- |**|end egp html banner|**| -->
</div> <!-- ygrp-msg -->
<!-- Sponsor -->
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-sponsor" style="width:160px; float:right; clear:none; margin:0 0 25px 0; background: #fff;">
<!-- Start Recommendations -->
<div id="ygrp-reco">
</div>
<!-- End Recommendations -->
</div> <!-- |**|end egp html banner|**| -->
<div style="clear:both; color: #FFF; font-size:1px;">.</div>
</div>
<img src="http://geo.yahoo.com/serv?s=97359714/grpId=6677476/grpspId=1705006764/msgId=13287/stime=1353256413/nc1=5191955/nc2=3848643/nc3=4507179" width="1" height="1"> <br>
<div style="color: #fff; height: 0;">__,_._,___</div>
<!--~-|**|PrettyHtmlEnd|**|-~-->
</body>
<!--~-|**|PrettyHtmlStart|**|-~-->
<head>
<style type="text/css">
<!--
#ygrp-mkp {
border: 1px solid #d8d8d8;
font-family: Arial;
margin: 10px 0;
padding: 0 10px;
}
#ygrp-mkp hr {
border: 1px solid #d8d8d8;
}
#ygrp-mkp #hd {
color: #628c2a;
font-size: 85%;
font-weight: 700;
line-height: 122%;
margin: 10px 0;
}
#ygrp-mkp #ads {
margin-bottom: 10px;
}
#ygrp-mkp .ad {
padding: 0 0;
}
#ygrp-mkp .ad p {
margin: 0;
}
#ygrp-mkp .ad a {
color: #0000ff;
text-decoration: none;
}
#ygrp-sponsor #ygrp-lc {
font-family: Arial;
}
#ygrp-sponsor #ygrp-lc #hd {
margin: 10px 0px;
font-weight: 700;
font-size: 78%;
line-height: 122%;
}
#ygrp-sponsor #ygrp-lc .ad {
margin-bottom: 10px;
padding: 0 0;
}
#actions {
font-family: Verdana;
font-size: 11px;
padding: 10px 0;
}
#activity {
background-color: #e0ecee;
float: left;
font-family: Verdana;
font-size: 10px;
padding: 10px;
}
#activity span {
font-weight: 700;
}
#activity span:first-child {
text-transform: uppercase;
}
#activity span a {
color: #5085b6;
text-decoration: none;
}
#activity span span {
color: #ff7900;
}
#activity span .underline {
text-decoration: underline;
}
.attach {
clear: both;
display: table;
font-family: Arial;
font-size: 12px;
padding: 10px 0;
width: 400px;
}
.attach div a {
text-decoration: none;
}
.attach img {
border: none;
padding-right: 5px;
}
.attach label {
display: block;
margin-bottom: 5px;
}
.attach label a {
text-decoration: none;
}
blockquote {
margin: 0 0 0 4px;
}
.bold {
font-family: Arial;
font-size: 13px;
font-weight: 700;
}
.bold a {
text-decoration: none;
}
dd.last p a {
font-family: Verdana;
font-weight: 700;
}
dd.last p span {
margin-right: 10px;
font-family: Verdana;
font-weight: 700;
}
dd.last p span.yshortcuts {
margin-right: 0;
}
div.attach-table div div a {
text-decoration: none;
}
div.attach-table {
width: 400px;
}
div.file-title a, div.file-title a:active, div.file-title a:hover, div.file-title a:visited {
text-decoration: none;
}
div.photo-title a, div.photo-title a:active, div.photo-title a:hover, div.photo-title a:visited {
text-decoration: none;
}
div#ygrp-mlmsg #ygrp-msg p a span.yshortcuts {
font-family: Verdana;
font-size: 10px;
font-weight: normal;
}
.green {
color: #628c2a;
}
.MsoNormal {
margin: 0 0 0 0;
}
o {
font-size: 0;
}
#photos div {
float: left;
width: 72px;
}
#photos div div {
border: 1px solid #666666;
height: 62px;
overflow: hidden;
width: 62px;
}
#photos div label {
color: #666666;
font-size: 10px;
overflow: hidden;
text-align: center;
white-space: nowrap;
width: 64px;
}
#reco-category {
font-size: 77%;
}
#reco-desc {
font-size: 77%;
}
.replbq {
margin: 4px;
}
#ygrp-actbar div a:first-child {
/* border-right: 0px solid #000;*/
margin-right: 2px;
padding-right: 5px;
}
#ygrp-mlmsg {
font-size: 13px;
font-family: Arial, helvetica,clean, sans-serif;
*font-size: small;
*font: x-small;
}
#ygrp-mlmsg table {
font-size: inherit;
font: 100%;
}
#ygrp-mlmsg select, input, textarea {
font: 99% Arial, Helvetica, clean, sans-serif;
}
#ygrp-mlmsg pre, code {
font:115% monospace;
*font-size:100%;
}
#ygrp-mlmsg * {
line-height: 1.22em;
}
#ygrp-mlmsg #logo {
padding-bottom: 10px;
}
#ygrp-msg p a {
font-family: Verdana;
}
#ygrp-msg p#attach-count span {
color: #1E66AE;
font-weight: 700;
}
#ygrp-reco #reco-head {
color: #ff7900;
font-weight: 700;
}
#ygrp-reco {
margin-bottom: 20px;
padding: 0px;
}
#ygrp-sponsor #ov li a {
font-size: 130%;
text-decoration: none;
}
#ygrp-sponsor #ov li {
font-size: 77%;
list-style-type: square;
padding: 6px 0;
}
#ygrp-sponsor #ov ul {
margin: 0;
padding: 0 0 0 8px;
}
#ygrp-text {
font-family: Georgia;
}
#ygrp-text p {
margin: 0 0 1em 0;
}
#ygrp-text tt {
font-size: 120%;
}
#ygrp-vital ul li:last-child {
border-right: none !important;
}
-->
</style>
</head>
<!--~-|**|PrettyHtmlEnd|**|-~-->
</html>
<!-- end group email -->
--cpAZGFCcouSn0VoVvS1qgKJeesNKQlFe7iBaZCj--