Lambda diagram
From apm
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)
