Re: compiling pattern matching to point-free combinators sequence

"William Tanksley, Jr" <[email protected]> Wed, 30 Apr 2014 09:18:40 -0700
Newsgroups	gmane.comp.lang.concatenative
Message-ID	<CAFTBfO6JeRHEv2TOY_w=vkSGqoFZhE6o5ooDRj3tTYqXX7HCfA@mail.gmail.com>
--d4Ncdh3hnhI5nFzda-0uBOprJRVAMVXIP67F1uj
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

That's fun!

There have been a couple of concatenative systems based on rewriting,
and you'll probably want to learn from them; the one I can recall
offhand is "Enchilada" and its author's next language "SPREAD", the
latter at http://oercode.blogspot.nl/. (I don't remember where
Enchilada lives.)

However, rewriting lambdas is a little different. iepos wrote a paper
that includes discussion of that at http://tunes.org/~iepos/joy.html.
It's fairly simple compared to general concatenative rewriting.

-Wm

Cyrille Duret <[email protected]> wrote:
>
>
>
> hello,
> I have good interest in postfix concatenative languages for some years no=
w, I discover the postfix notation with forth and saw the beauty of joy and=
 now I try to experiment the benefit of a concatenative language for distri=
buted application, user interface ( I am thinking of a visual touch based p=
rogramming environment a bit like hopscotch https://www.gethopscotch.com/) =
, etc..
>
> My language of prototyping is javascript and my language of choice for im=
plementation is ATS2 (http://www.ats-lang.org/)
>
> I have already done a conventional implementation of a very basic languag=
e here https://github.com/cduret/stk.js , but I want to go further.
> At the time I read this paper (http://mitarbeiter.hs-heilbronn.de/~herzbe=
rg/Publications/ICSOFT.2009.pdf), I saw the power and simplicity of a conca=
tenative language based on a rewriting system.
>
> So I began my implementation of a basic rewrite system :
> The words can be defined with pattern matching as follow :
>
> x dup =3D> x x.
> x y swap =3D> y x.
> [x_] call =3D> x_.
> ...
>
> Rewriting system is powerful and can compute symbolic expression as well =
but the explosion of rewriting steps can lead to slow execution time.
> That's why I try to think about a compiler that would transform the rule-=
based program into a stack oriented bytecode.
>
> My first problem is to find a way of rewriting a rule with named paramete=
rs into a point-free word (in a forth or factor meaning).
>
> How I could compile the rule :
>
> a b toto =3D> a a * 3 b * +.
>
> into
>
> toto =3D> 3 * swap dup * +.
>
>
> I am looking for such an algorithm if you have some advices..
>
> thank you very much ;-)
>
>
>=20

--d4Ncdh3hnhI5nFzda-0uBOprJRVAMVXIP67F1uj
Content-Type: text/html; charset=UTF-8
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>That&#39;s fun!<br>
<br>
There have been a couple of concatenative systems based on rewriting,<br>
and you&#39;ll probably want to learn from them; the one I can recall<br>
offhand is &quot;Enchilada&quot; and its author&#39;s next language &quot;SPREAD&quot;, the<br>
latter at http://oercode.blogspot.nl/. (I don&#39;t remember where<br>
Enchilada lives.)<br>
<br>
However, rewriting lambdas is a little different. iepos wrote a paper<br>
that includes discussion of that at http://tunes.org/~iepos/joy.html.<br>
It&#39;s fairly simple compared to general concatenative rewriting.<br>
<br>
-Wm<br>
<br>
Cyrille Duret &lt;[email protected]&gt; wrote:<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt; hello,<br>
&gt; I have good interest in postfix concatenative languages for some years now, I discover the postfix notation with forth and saw the beauty of joy and now I try to experiment the benefit of a concatenative language for distributed application, user interface ( I am thinking of a visual touch based programming environment a bit like hopscotch https://www.gethopscotch.com/) , etc..<br>
&gt;<br>
&gt; My language of prototyping is javascript and my language of choice for implementation is ATS2 (http://www.ats-lang.org/)<br>
&gt;<br>
&gt; I have already done a conventional implementation of a very basic language here https://github.com/cduret/stk.js , but I want to go further.<br>
&gt; At the time I read this paper (http://mitarbeiter.hs-heilbronn.de/~herzberg/Publications/ICSOFT.2009.pdf), I saw the power and simplicity of a concatenative language based on a rewriting system.<br>
&gt;<br>
&gt; So I began my implementation of a basic rewrite system :<br>
&gt; The words can be defined with pattern matching as follow :<br>
&gt;<br>
&gt; x dup =&gt; x x.<br>
&gt; x y swap =&gt; y x.<br>
&gt; [x_] call =&gt; x_.<br>
&gt; ...<br>
&gt;<br>
&gt; Rewriting system is powerful and can compute symbolic expression as well but the explosion of rewriting steps can lead to slow execution time.<br>
&gt; That&#39;s why I try to think about a compiler that would transform the rule-based program into a stack oriented bytecode.<br>
&gt;<br>
&gt; My first problem is to find a way of rewriting a rule with named parameters into a point-free word (in a forth or factor meaning).<br>
&gt;<br>
&gt; How I could compile the rule :<br>
&gt;<br>
&gt; a b toto =&gt; a a * 3 b * +.<br>
&gt;<br>
&gt; into<br>
&gt;<br>
&gt; toto =&gt; 3 * swap dup * +.<br>
&gt;<br>
&gt;<br>
&gt; I am looking for such an algorithm if you have some advices..<br>
&gt;<br>
&gt; thank you very much ;-)<br>
&gt;<br>
&gt;<br>
&gt; <br>
</p>

    </div>
     

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

          
  
 

    
    <div style="clear:both"> </div>

    <table cellspacing=4px style="margin-top: 20px; margin-bottom: 10px; color: #2D50FD;">
      <tbody>
        <tr>
          <td style="font-size: 12px; font-family: arial; font-weight: bold; padding: 7px 5px 5px;"  >
                          <a style="text-decoration: none; color: #2D50FD" href="https://groups.yahoo.com/neo/groups/concatenative/conversations/messages/4980;_ylc=X3oDMTJwc2twbTJyBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzQ5ODAEc2VjA2Z0cgRzbGsDcnBseQRzdGltZQMxMzk4ODc0NzUy?act=reply&messageNum=4980">Reply via web post</a>
                      </td>
          <td>&bull;</td>
          <td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;" >
            <a href="mailto:[email protected]?subject=Re%3A%20%5Bstack%5D%20compiling%20pattern%20matching%20to%20point-free%20combinators%20sequence" style="text-decoration: none; color: #2D50FD;">
               Reply to sender            </a>
          </td>
          <td>&bull;</td>
          <td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;">
            <a href="mailto:[email protected]?subject=Re%3A%20%5Bstack%5D%20compiling%20pattern%20matching%20to%20point-free%20combinators%20sequence" style="text-decoration: none; color: #2D50FD">
              Reply to group            </a>
          </td>
          <td>&bull;</td>
          <td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;" >
            <a href="https://groups.yahoo.com/neo/groups/concatenative/conversations/newtopic;_ylc=X3oDMTJlZ2txZ3NnBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTM5ODg3NDc1Mg--" style="text-decoration: none; color: #2D50FD">Start a New Topic</a>
          </td>
          <td>&bull;</td>
          <td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;color: #2D50FD;" >
                            <a href="https://groups.yahoo.com/neo/groups/concatenative/conversations/topics/4976;_ylc=X3oDMTM0MmtkZmxuBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzQ5ODAEc2VjA2Z0cgRzbGsDdnRwYwRzdGltZQMxMzk4ODc0NzUyBHRwY0lkAzQ5NzY-" style="text-decoration: none; color: #2D50FD;">Messages in this topic</a>
                (2)
                      </td>
        </tr>
      </tbody>
    </table>

        
<div id="megaphoneModule">
     
    <hr style="height:2px ; border-width:0; color:#E3E3E3; background-color:#E3E3E3;">
</div>

<!------- Start Nav Bar ------>




 

<!-- |**|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; "><a href="https://groups.yahoo.com/neo/groups/concatenative/info;_ylc=X3oDMTJla241OWpiBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTM5ODg3NDc1Mg--" style="text-decoration: none;">Visit Your Group</a></span>

     <ul style="list-style-type: none; margin: 0; padding: 0; display: inline;">
                                                    </ul>
  </div>


<div id="ft" style="font-family: Arial; font-size: 11px; margin-top: 5px; padding: 0 2px 0 0; clear: both;">
  <a href="https://groups.yahoo.com/neo;_ylc=X3oDMTJkNjhxcGJjBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzdGltZQMxMzk4ODc0NzUy" style="float: left;"><img src="http://l.yimg.com/ru/static/images/yg/img/email/new_logo/logo-groups-137x15.png" height="15" width="137" alt="Yahoo! Groups" style="border: 0;"/></a>
  <div style="color: #747575; float: right;"> &bull; <a href="https://info.yahoo.com/privacy/us/yahoo/groups/details.html" style="text-decoration: none;">Privacy</a> &bull; <a href="mailto:[email protected]?subject=Unsubscribe" style="text-decoration: none;">Unsubscribe</a> &bull; <a href="https://info.yahoo.com/legal/us/yahoo/utos/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=4980/stime=1398874752" width="1" height="1"> <br>

<img src="http://y.analytics.yahoo.com/fpc.pl?ywarid=515FB27823A7407E&a=10001310322279&js=no&resp=img" width="1" height="1"> 

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


--d4Ncdh3hnhI5nFzda-0uBOprJRVAMVXIP67F1uj--