Difference between revisions of "Lambda diagram"
From apm
(improvements) |
(→External links: added two links to code and animations) |
||
| Line 19: | Line 19: | ||
* Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html''' | * Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html''' | ||
* Page with detailed explanation on how they are drawn and visually evaluated: '''[https://risingentropy.com/how-to-draw-lambda-diagrams/ How to draw lambda diagrams]''' ("Rising Entropy" blog 2020-07-06) | * Page with detailed explanation on how they are drawn and visually evaluated: '''[https://risingentropy.com/how-to-draw-lambda-diagrams/ How to draw lambda diagrams]''' ("Rising Entropy" blog 2020-07-06) | ||
| + | ---- | ||
| + | * Code generating lambda diagrams (using haskells diagrams library): '''https://github.com/polux/lambda-diagrams''' | ||
| + | * Animation Videos made with this code: [https://www.youtube.com/playlist?list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV Playlist: Lambda Diagrams] | ||
[[Category:Programming]] | [[Category:Programming]] | ||
Latest revision as of 15:59, 19 October 2021
Lambda diagrams are a compact graphical visualization of lambda calculus with pretty much no room for interpretation.
Lambda calculus is a a formalism with only three types of terms that can represent any kind of computation in a very minimalistic way.
Lambda diagrams are presented by John Tromp on his homepage here: https://tromp.github.io/cl/diagrams.html
As a programming interface
As a novel idea for a user friendly programming interface
on this wiki there are presented "annotated lambda diagrams" (ALDs)
In this naming scheme basic unannotated lambda diagrams could also be called "plain lambda diagrams" (PLDs)
Related
External links
- Page about Lambda-diagrams on John Tromp's homepage: https://tromp.github.io/cl/diagrams.html
- Page with detailed explanation on how they are drawn and visually evaluated: How to draw lambda diagrams ("Rising Entropy" blog 2020-07-06)
- Code generating lambda diagrams (using haskells diagrams library): https://github.com/polux/lambda-diagrams
- Animation Videos made with this code: Playlist: Lambda Diagrams
