3 ms·
> To be able to draw programs that look visually appealing themselves, such that someone would want to put a frame around them and hang them on the wall. I've
by tromp 5y ago
> To be able to draw programs that look visually appealing themselves, such that someone would want to put a frame around them and hang them on the wall.
I've done that with the predecessor function in lambda diagram form:
┬──────────
┼─────┬────
┼─────┼─┬──
│ ──┬─┼ ┼ ┬
│ ┬─┼─┼ │ │
│ │ ├─┘ │ │
│ ├─┘ │ │
└─┤ │ │
└─────┤ │
└─┘
Lambda diagrams [1] are just a graphical output format for the pure lambda calculus though, and not a 2D programming language like Λ-2D.
[1] https://tromp.github.io/cl/diagrams.html https://tromp.github.io/cl/diagrams.html
- IIAOPSW 5y agoYou could easily repurpose that code for drawing Quantum Circuits and thus representing quantum computations. I'm tempted to make a pull request this instant and do it myself.
- trenchgun 5y agoThat would be very nice.
- nek28 5y agoThis reminds me of Frege's Begriffschrifft https://commons.wikimedia.org/wiki/File:One_page_from_Frege%27s_Begriffsschrift.png https://commons.wikimedia.org/wiki/File:One_page_from_Frege%...