Difference between revisions of "Lambda diagram"
From apm
m (bold) |
(→External links: added two links to code and animations) |
||
| (4 intermediate revisions by the same user not shown) | |||
| 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 == | ||
| Line 10: | Line 14: | ||
* [[Annotated lambda diagram]]s | * [[Annotated lambda diagram]]s | ||
* [[Annotated lambda diagram mockups]] | * [[Annotated lambda diagram mockups]] | ||
| + | |||
| + | == 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: '''[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]] | ||
Latest revision as of 14: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
