https://apm.bplaced.net/w/index.php?action=history&feed=atom&title=File%3AAnnoLamDiag_TypdHolePuzzleFeel.svg 2026-04-20T14:54:47Z Revision history for this page on the wiki MediaWiki 1.43.0 https://apm.bplaced.net/w/index.php?title=File:AnnoLamDiag_TypdHolePuzzleFeel.svg&diff=11497&oldid=prev 2021-07-12T15:01:25Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 17:01, 12 July 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8">Line 8:</td> <td colspan="2" class="diff-lineno">Line 8:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>License: CC-BY &lt;br&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>License: CC-BY &lt;br&gt;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>----</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>----</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Also posted here <del style="font-weight: bold; text-decoration: none;">(scroll down to the sixth post)</del>: &lt;br&gt;</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Also posted here: &lt;br&gt;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>https://twitter.com/mechadense/status/1235584293155594240?s=20</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>https://twitter.com/mechadense/status/1235584293155594240?s=20</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>----</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>----</div></td></tr> </table>

Apm https://apm.bplaced.net/w/index.php?title=File:AnnoLamDiag_TypdHolePuzzleFeel.svg&diff=11436&oldid=prev 2021-07-10T11:59:59Z

<p>Drag and drop of program fragments (with typed input and output holes) ---- Annotated lambda diagrams (ALDs) &lt;br&gt; where inspired by John Tromps lambda diagrams: &lt;br&gt; https://tromp.github.io/cl/diagrams.html ---- Author: Lukas M. Süss aka Mechadense &lt;...</p> <p><b>New page</b></p><div>Drag and drop of program fragments (with typed input and output holes)<br /> ----<br /> Annotated lambda diagrams (ALDs) &lt;br&gt; <br /> where inspired by John Tromps lambda diagrams: &lt;br&gt;<br /> https://tromp.github.io/cl/diagrams.html<br /> ----<br /> Author: Lukas M. Süss aka Mechadense &lt;br&gt;<br /> License: CC-BY &lt;br&gt;<br /> ----<br /> Also posted here (scroll down to the sixth post): &lt;br&gt;<br /> https://twitter.com/mechadense/status/1235584293155594240?s=20<br /> ----<br /> Treating program fragments like puzzle pieces where both(!) upstream and downstream typed holes act like the shape of sides of puzzle piece (or the eyes of dominoes) would make programming feel more like playing a puzzle game (where matching spots light up), and would allow to animate program transformations as visually discontinuity-free flow of parts of the program through the program. Flow of types too.<br /> <br /> = Rastergraphic version =<br /> <br /> [[File:AnnoLamDiag_TypdHolePuzzleFeel.png|640px|thumb|left|Link]]</div>

Apm