Re: compiling pattern matching to point-free combinators sequence
"William Tanksley, Jr" <[email protected]> Wed, 30 Apr 2014 11:22:21 -0700
| Newsgroups | gmane.comp.lang.concatenative |
|---|---|
| Message-ID | <CAFTBfO55wTXta5gbZ1ohfMi7+a3eG_dYc5H8aTw8dD5Lx_Rzjw@mail.gmail.com> |
--caghn2fpx-0LU91OnCLPSaIgtEg6HIbHm3oMgkn Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I found Enchilada: http://www.enchiladacode.nl/ On Wed, Apr 30, 2014 at 9:18 AM, William Tanksley, Jr <[email protected]> wrote: > 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 n= ow, I discover the postfix notation with forth and saw the beauty of joy an= d now I try to experiment the benefit of a concatenative language for distr= ibuted application, user interface ( I am thinking of a visual touch based = programming environment a bit like hopscotch https://www.gethopscotch.com/)= , etc.. >> >> My language of prototyping is javascript and my language of choice for i= mplementation is ATS2 (http://www.ats-lang.org/) >> >> I have already done a conventional implementation of a very basic langua= ge 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/~herzb= erg/Publications/ICSOFT.2009.pdf), I saw the power and simplicity of a conc= atenative 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 paramet= ers 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 --caghn2fpx-0LU91OnCLPSaIgtEg6HIbHm3oMgkn 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"> </span> <!--~-|**|PrettyHtmlStartT|**|-~--> <div id="ygrp-mlmsg" style="position:relative;"> <div id="ygrp-msg" style="z-index: 1;"> <!--~-|**|PrettyHtmlEndT|**|-~--> <div id="ygrp-text" > <p>I found Enchilada:<br> <br> http://www.enchiladacode.nl/<br> <br> On Wed, Apr 30, 2014 at 9:18 AM, William Tanksley, Jr<br> <[email protected]> wrote:<br> > That's fun!<br> ><br> > There have been a couple of concatenative systems based on rewriting,<br> > and you'll probably want to learn from them; the one I can recall<br> > offhand is "Enchilada" and its author's next language "SPREAD", the<br> > latter at http://oercode.blogspot.nl/. (I don'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's fairly simple compared to general concatenative rewriting.<br> ><br> > -Wm<br> ><br> > Cyrille Duret <[email protected]> wrote:<br> >><br> >><br> >><br> >> hello,<br> >> 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> >><br> >> My language of prototyping is javascript and my language of choice for implementation is ATS2 (http://www.ats-lang.org/)<br> >><br> >> 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> >> 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> >><br> >> So I began my implementation of a basic rewrite system :<br> >> The words can be defined with pattern matching as follow :<br> >><br> >> x dup => x x.<br> >> x y swap => y x.<br> >> [x_] call => x_.<br> >> ...<br> >><br> >> Rewriting system is powerful and can compute symbolic expression as well but the explosion of rewriting steps can lead to slow execution time.<br> >> That's why I try to think about a compiler that would transform the rule-based program into a stack oriented bytecode.<br> >><br> >> 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> >><br> >> How I could compile the rule :<br> >><br> >> a b toto => a a * 3 b * +.<br> >><br> >> into<br> >><br> >> toto => 3 * swap dup * +.<br> >><br> >><br> >> I am looking for such an algorithm if you have some advices..<br> >><br> >> thank you very much ;-)<br> >><br> >><br> >> <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/4982;_ylc=X3oDMTJwMG1sMGpqBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzQ5ODIEc2VjA2Z0cgRzbGsDcnBseQRzdGltZQMxMzk4ODgyMTcz?act=reply&messageNum=4982">Reply via web post</a> </td> <td>•</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>•</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>•</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=X3oDMTJlZTkybWl2BF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTM5ODg4MjE3Mw--" style="text-decoration: none; color: #2D50FD">Start a New Topic</a> </td> <td>•</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=X3oDMTM0dnJvN3VmBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzQ5ODIEc2VjA2Z0cgRzbGsDdnRwYwRzdGltZQMxMzk4ODgyMTczBHRwY0lkAzQ5NzY-" style="text-decoration: none; color: #2D50FD;">Messages in this topic</a> (4) </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=X3oDMTJlNm5qODgwBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTM5ODg4MjE3Mw--" 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=X3oDMTJkcGlybDExBF9TAzk3MzU5NzE0BGdycElkAzE4MzkyNzQEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzdGltZQMxMzk4ODgyMTcz" 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;"> • <a href="https://info.yahoo.com/privacy/us/yahoo/groups/details.html" style="text-decoration: none;">Privacy</a> • <a href="mailto:[email protected]?subject=Unsubscribe" style="text-decoration: none;">Unsubscribe</a> • <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=4982/stime=1398882173" 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 --> --caghn2fpx-0LU91OnCLPSaIgtEg6HIbHm3oMgkn--