Re: [stack] peg: a lazy, non-deterministic concatenative language

"dustin.deweese" <[email protected]> Wed, 25 Apr 2012 11:12:52 -0000
Newsgroups	gmane.comp.lang.concatenative
Message-ID	<[email protected]>
--vOWnJVWFqn9pHVzlT7ZncxRAnsyDw41lcyHpmcE
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable



--- In [email protected], eas lab <lab.eas@...> wrote:
>
> > Last in, first out =3D queue
> > First in, first out =3D stack
> Didn't anybody pick up this 'typo'?

This is why I prefer a pencil to a pen.

Oh well. Point and laugh.

>=20
> > I can't think of any other strategies that have a single unambiguous
> > "top" element.
> Think rather in term of the 'most recent' element.
>=20
> ] We know concatenative languages that use an accumulator and ones that
> ] use a stack; we also know ones that use multiples of each (for example,
> ] ANS Forth can have a separate floating point stack, and Machine Forth
> ] uses a memory fetch register; note that the return stack in Forth does
> ] NOT count, since accessing that makes the program NOT concatenative).
> I disagree: it's the concept of LIFO/most-recent, and not the implementat=
ion
> details, that count..
>=20
> Consider the following real-life-task:
> papers are 'stacked' in their order of creation;
> we need to present them to the emperor in their order of creation;
> so we could sequentially 'pop' them to another 'pile';
> and than 'pop & present' from that 'pile'.
>=20
> NB. I distinguish between the stack and the pile;
> where the pile is stack2 of pop(stack).
>=20
> If some of the papers may not be handled by the 'presenter',
> they could be piled on a separate/floating-point-pile.
>=20
> But then we've destroyed/lost the <sequence markers>,
> by bifubricating the stack/pile.
>=20
> I'm guessing that in FORTH, when/if you ADD a floating-point-facility,
> you must have a mechanism to keep the 2nd [or more] stack 'syncronised'.
> So effectively/conceptually there's only ONE stack.  Or?
>=20
> =3D=3D Chris Glur.
>

I considered having separate stacks for each type in Peg.  Each argument to=
 a word would be taken from the appropriate stack depending on the type req=
uired. Then, values could be wrapped in semantic types to minimize stack ma=
nipulation.

For instance a word 'greeting' could require a 'name' and a 'title', both o=
f which are simply wrappers for strings, and the greeting would return "Hel=
lo [title] [name]!" regardless of the order of arguments. It would just use=
 the title and name on the top of their respective stacks.

I decided against this, because it would complicate many other things.


--vOWnJVWFqn9pHVzlT7ZncxRAnsyDw41lcyHpmcE
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">&nbsp;</span>

<!--~-|**|PrettyHtmlStartT|**|-~-->
<div id="ygrp-mlmsg" style="position:relative;">
  <div id="ygrp-msg" style="z-index: 1;">
<!--~-|**|PrettyHtmlEndT|**|-~-->

    <div id="ygrp-text" >
      
      
      <p><br>
<br>
--- In <a href="mailto:concatenative%40yahoogroups.com">[email protected]</a>, eas lab &lt;lab.eas@...&gt; wrote:<br>
&gt;<br>
&gt; &gt; Last in, first out = queue<br>
&gt; &gt; First in, first out = stack<br>
&gt; Didn't anybody pick up this 'typo'?<br>
<br>
This is why I prefer a pencil to a pen.<br>
<br>
Oh well. Point and laugh.<br>
<br>
&gt; <br>
&gt; &gt; I can't think of any other strategies that have a single unambiguous<br>
&gt; &gt; &quot;top&quot; element.<br>
&gt; Think rather in term of the 'most recent' element.<br>
&gt; <br>
&gt; ] We know concatenative languages that use an accumulator and ones that<br>
&gt; ] use a stack; we also know ones that use multiples of each (for example,<br>
&gt; ] ANS Forth can have a separate floating point stack, and Machine Forth<br>
&gt; ] uses a memory fetch register; note that the return stack in Forth does<br>
&gt; ] NOT count, since accessing that makes the program NOT concatenative).<br>
&gt; I disagree: it's the concept of LIFO/most-recent, and not the implementation<br>
&gt; details, that count..<br>
&gt; <br>
&gt; Consider the following real-life-task:<br>
&gt; papers are 'stacked' in their order of creation;<br>
&gt; we need to present them to the emperor in their order of creation;<br>
&gt; so we could sequentially 'pop' them to another 'pile';<br>
&gt; and than 'pop &amp; present' from that 'pile'.<br>
&gt; <br>
&gt; NB. I distinguish between the stack and the pile;<br>
&gt; where the pile is stack2 of pop(stack).<br>
&gt; <br>
&gt; If some of the papers may not be handled by the 'presenter',<br>
&gt; they could be piled on a separate/floating-point-pile.<br>
&gt; <br>
&gt; But then we've destroyed/lost the &lt;sequence markers&gt;,<br>
&gt; by bifubricating the stack/pile.<br>
&gt; <br>
&gt; I'm guessing that in FORTH, when/if you ADD a floating-point-facility,<br>
&gt; you must have a mechanism to keep the 2nd [or more] stack 'syncronised'.<br>
&gt; So effectively/conceptually there's only ONE stack.  Or?<br>
&gt; <br>
&gt; == Chris Glur.<br>
&gt;<br>
<br>
I considered having separate stacks for each type in Peg.  Each argument to a word would be taken from the appropriate stack depending on the type required. Then, values could be wrapped in semantic types to minimize stack manipulation.<br>
<br>
For instance a word 'greeting' could require a 'name' and a 'title', both of which are simply wrappers for strings, and the greeting would return &quot;Hello [title] [name]!&quot; regardless of the order of arguments. It would just use the title and name on the top of their respective stacks.<br>
<br>
I decided against this, because it would complicate many other things.<br>
<br>
</p>

    </div>
     

    <!--~-|**|PrettyHtmlStart|**|-~-->
    <div style="color: #fff; height: 0;">__._,_.___</div>

        
  
   
    <div id="ygrp-actbar" style="clear: both; margin-bottom: 10px; white-space: nowrap; color: #666; padding-top: 15px;">
      <div>
        <a href="mailto:[email protected]?subject=Re%3A%20%5Bstack%5D%20peg%3A%20a%20lazy%2C%20non-deterministic%20concatenative%20language" style="margin-right: 0; padding-right: 0;">
	  Reply to <span style="font-weight: 700;">sender</span></a> |
        <a href="mailto:[email protected]?subject=Re%3A%20%5Bstack%5D%20peg%3A%20a%20lazy%2C%20non-deterministic%20concatenative%20language">
	  Reply to <span style="font-weight: 700;">group</span></a> |
        	  <a href="http://groups.yahoo.com/group/concatenative/post;_ylc=X3oDMTJwNmtvNjNpBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzQ5MjcEc2VjA2Z0cgRzbGsDcnBseQRzdGltZQMxMzM1MzUyMzc3?act=reply&messageNum=4927">Reply <span style="font-weight: 700;">via web post</span></a> |
            	<a href="http://groups.yahoo.com/group/concatenative/post;_ylc=X3oDMTJlbWo1b29jBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTMzNTM1MjM3Nw--" style="font-weight: 700;">Start a New Topic</a>
      </div>

                <a href="http://groups.yahoo.com/group/concatenative/message/4915;_ylc=X3oDMTM0MzdrNXZxBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzQ5MjcEc2VjA2Z0cgRzbGsDdnRwYwRzdGltZQMxMzM1MzUyMzc3BHRwY0lkAzQ5MTU-">Messages in this topic</a>
          (<span style="font-weight: 700;">13</span>)
          </div> 
<!------- Start Nav Bar ------>

<!-- |**|begin egp html banner|**| -->
<div id="ygrp-vital" style="background-color: #e0ecee; 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/concatenative/members;_ylc=X3oDMTJmamtidmlpBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZtYnJzBHN0aW1lAzEzMzUzNTIzNzc-?o=6" style="text-decoration: none;">New Members</a></span>
      <span class="ct" style="color: #ff7900;">1</span>
    </li>
                                              </ul>
    
  <div style="clear: both; padding-top: 2px; color: #1e66ae;">
    <a href="http://groups.yahoo.com/group/concatenative;_ylc=X3oDMTJlZW1qcjQxBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTMzNTM1MjM3Nw--" 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=X3oDMTJkZzRkZGZqBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzdGltZQMxMzM1MzUyMzc3" 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> &bull; <a href="mailto:[email protected]?subject=Unsubscribe" style="text-decoration: none;">Unsubscribe</a> &bull; <a href="http://docs.yahoo.com/info/terms/" style="text-decoration: none;">Terms of Use</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=1839274/grpspId=1705006764/msgId=4927/stime=1335352377/nc1=3848644/nc2=5741391/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;
}

  a {
    color: #1e66ae;
  }

  #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-mlmsg a {
    color: #1E66AE;
  }

  #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 -->


--vOWnJVWFqn9pHVzlT7ZncxRAnsyDw41lcyHpmcE--