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 |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 8: | Line 8: | ||
License: CC-BY <br> | License: CC-BY <br> | ||
---- | ---- | ||
| − | Also posted here | + | Also posted here: <br> |
| − | https://twitter.com/mechadense/status/ | + | 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. | 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. | ||
| Line 15: | Line 15: | ||
= Vectorgraphic version (editable) = | = Vectorgraphic version (editable) = | ||
| − | [[File:AnnoLamDiag_TypdHolePuzzleFeel. | + | [[File:AnnoLamDiag_TypdHolePuzzleFeel.svg|640px|thumb|left|Link]] |
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.
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:
