File:AnnoLamDiag ScaledDownInPlacePreview.png
Demo of in-place scaled-down code-preview.
A detailed description is further down.
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
Detailed description:
This is some simple code in (a mockup of) the code projection of annotated lambda diagrams.
It was put together in order to illustrate how annotated lambda diagrams would allow for a scaled-down in-place preview of functions on which the currently looked at function depends on.
Do you see the scaled down "in place preview" of the "take"-function (blue border) and "repeat"-function (red border) within the the "replicate"-function (grey border)?
Specifically this random example code (the "replicate"-function) takes a value and a natural number and returns a list of copies of that value with the length of that natural number.
Also posted here (scroll down to the fifth post):
https://twitter.com/mechadense/status/1235631036597276672
Vectrorgraphic 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 | 10:09, 11 July 2021 | | 2,148 × 1,224 (186 KB) | Apm (Talk | contribs) | Demo of in-place scaled-down code-preview. <br> A detailed description is further down. <br> ---- Annotated lambda diagrams (ALDs) <br> where inspired by John Tromps lambda diagrams: <br> https://tromp.github.io/cl/diagrams.html ---- Author: Lukas M.... |
- You cannot overwrite this file.
File usage
The following 2 pages link to this file:
