Difference between revisions of "Lambda diagram"
From apm
(added Category:Programming) |
(improvements) |
||
| Line 1: | Line 1: | ||
'''Lambda diagrams''' are a compact graphical visualization of lambda calculus with pretty much no room for interpretation. <br> | '''Lambda diagrams''' are a compact graphical visualization of lambda calculus with pretty much no room for interpretation. <br> | ||
| + | <small>[[Lambda calculus]] is a a formalism with only three types of terms that can represent any kind of computation in a very minimalistic way.</small> <br> | ||
'''Lambda diagrams''' are presented by John Tromp on his homepage here: '''https://tromp.github.io/cl/diagrams.html''' | '''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 diagram]]s" (ALDs) <br> | ||
| + | In this naming scheme basic unannotated lambda diagrams could also be called "plain lambda diagrams" (PLDs) <br> | ||
== Related == | == Related == | ||
Revision as of 22:21, 18 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)
