File:AnnoLamDiag TypdHolePuzzleFeel.png
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.
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:
