Difference between revisions of "File:AnnoLamDiag TypdHolePuzzleFeel.png"
(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 (→Vectorgraphic version (editable)) |
||
| Line 15: | Line 15: | ||
= Vectorgraphic version (editable) = | = Vectorgraphic version (editable) = | ||
| − | [[File:AnnoLamDiag_TypdHolePuzzleFeel. | + | [[File:AnnoLamDiag_TypdHolePuzzleFeel.svg|640px|thumb|left|Link]] |
Revision as of 12:39, 10 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 (scroll down to the sixth post):
https://twitter.com/mechadense/status/1235656074285453314?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.
Vectorgraphic version (editable)
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 12:38, 10 July 2021 |  | 1,522 × 865 (66 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.
File usage
The following 2 pages link to this file:
