http://wiki.apidesign.org/index.php?action=history&feed=atom&title=Futamura 2026-05-02T01:43:44Z Revision history for this page on the wiki MediaWiki 1.12.0rc1 http://wiki.apidesign.org/index.php?title=Futamura&diff=10684&oldid=prev 2024-07-14T06:42:23Z

<p><span class="autocomment">Futamura Projections</span></p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr> <td colspan='2' style="background-color: white; color:black;">←Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 06:42, 14 July 2024</td> </tr> <tr><td colspan="2" class="diff-lineno">Line 2:</td> <td colspan="2" class="diff-lineno">Line 2:</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Famous work from 1971 by Yoshihiko [[Futamura]] relating programs '''P''', interpreters '''I''', partial evaluators '''E''', and</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>Famous work from 1971 by Yoshihiko [[Futamura]] relating programs '''P''', interpreters '''I''', partial evaluators '''E''', and</div></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>compilers '''C'''. There are three ''&quot;Futamura Projections&quot;'':</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>compilers '''C'''. There are three ''&quot;<ins style="color: red; font-weight: bold; text-decoration: none;">[[</ins>Futamura<ins style="color: red; font-weight: bold; text-decoration: none;">]] </ins>Projections&quot;'':</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div># E(I,P) → partially evaluate I(P) → emit C(P), a compiled program</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div># E(I,P) → partially evaluate I(P) → emit C(P), a compiled program</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div># E(E,I) → partially evaluate λP.I(P) → emit C, a compiler!</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div># E(E,I) → partially evaluate λP.I(P) → emit C, a compiler!</div></td></tr> </table>

JaroslavTulach http://wiki.apidesign.org/index.php?title=Futamura&diff=10683&oldid=prev 2024-07-14T06:42:00Z

<p><span class="autocomment">Futamura Projections</span></p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr> <td colspan='2' style="background-color: white; color:black;">←Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 06:42, 14 July 2024</td> </tr> <tr><td colspan="2" class="diff-lineno">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== [[Futamura]] Projections ==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== [[Futamura]] Projections ==</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>Famous work from 1971 by Yoshihiko Futamura relating programs '''P''', interpreters '''I''', partial evaluators '''E''', and</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>Famous work from 1971 by Yoshihiko <ins style="color: red; font-weight: bold; text-decoration: none;">[[</ins>Futamura<ins style="color: red; font-weight: bold; text-decoration: none;">]] </ins>relating programs '''P''', interpreters '''I''', partial evaluators '''E''', and</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>compilers '''C'''. There are three ''&quot;Futamura Projections&quot;'':</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>compilers '''C'''. There are three ''&quot;Futamura Projections&quot;'':</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div># E(I,P) → partially evaluate I(P) → emit C(P), a compiled program</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div># E(I,P) → partially evaluate I(P) → emit C(P), a compiled program</div></td></tr> </table>

JaroslavTulach http://wiki.apidesign.org/index.php?title=Futamura&diff=10681&oldid=prev 2024-07-14T06:32:52Z

<p><a href="/wiki/Futamora" class="mw-redirect" title="Futamora">Futamora</a> moved to <a href="/wiki/Futamura" title="Futamura">Futamura</a></p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr> <td colspan='2' style="background-color: white; color:black;">←Older revision</td> <td colspan='2' style="background-color: white; color:black;">Revision as of 06:32, 14 July 2024</td> </tr> </table>

JaroslavTulach http://wiki.apidesign.org/index.php?title=Futamura&diff=10680&oldid=prev 2024-07-14T06:32:28Z

<p>New page: == <a href="/wiki/Futamura" title="Futamura">Futamura</a> Projections == Famous work from 1971 by Yoshihiko Futamura relating programs '''P''', interpreters '''I''', partial evaluators '''E''', and compilers '''C'''. There are th...</p> <p><b>New page</b></p><div>== [[Futamura]] Projections ==<br /> <br /> Famous work from 1971 by Yoshihiko Futamura relating programs '''P''', interpreters '''I''', partial evaluators '''E''', and<br /> compilers '''C'''. There are three ''&quot;Futamura Projections&quot;'':<br /> # E(I,P) → partially evaluate I(P) → emit C(P), a compiled program<br /> # E(E,I) → partially evaluate λP.I(P) → emit C, a compiler!<br /> # E(E,E) → partially evaluate λI.λP.I(P) → emit a compiler-compiler!<br /> <br /> Formal strategy for building compilers from interpreters and specializers just like [[Truffle]]. The info comes from [http://venge.net/graydon/talks/CompilerTalk-2019.pdf 2019 compiler presentation].</div>

JaroslavTulach