Difference between revisions of "File:AnnoLamDiag TypdHolePuzzleFeel.svg"

From apm
Jump to: navigation, search
(Drag and drop of program fragments (with typed input and output holes) ---- Annotated lambda diagrams (ALDs) <br> where inspired by John Tromps lambda diagrams: <br> https://tromp.github.io/cl/diagrams.html ---- Author: Lukas M. Süss aka Mechadense <...)
 
m
 
Line 8: Line 8:
 
License: CC-BY <br>
 
License: CC-BY <br>
 
----
 
----
Also posted here (scroll down to the sixth post): <br>
+
Also posted here: <br>
 
https://twitter.com/mechadense/status/1235584293155594240?s=20
 
https://twitter.com/mechadense/status/1235584293155594240?s=20
 
----
 
----

Latest revision as of 16:01, 12 July 2021

Drag and drop of program fragments (with typed input and output holes)


Annotated lambda diagrams (ALDs)
where inspired by John Tromps lambda diagrams:
https://tromp.github.io/cl/diagrams.html


Author: Lukas M. Süss aka Mechadense
License: CC-BY


Also posted here:
https://twitter.com/mechadense/status/1235584293155594240?s=20


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.

Rastergraphic version

Link

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current12:59, 10 July 2021Thumbnail for version as of 12:59, 10 July 2021505 × 287 (62 KB)Apm (Talk | contribs)Drag and drop of program fragments (with typed input and output holes) ---- Annotated lambda diagrams (ALDs) <br> where inspired by John Tromps lambda diagrams: <br> https://tromp.github.io/cl/diagrams.html ---- Author: Lukas M. Süss aka Mechadense <...
  • You cannot overwrite this file.

The following page links to this file:

Metadata