A circuit-like notation for lambda calculus (2015)

Re:A circuit-like notation for lambda calculus (2015) by csvoss on Monday August 17, 2020 @10:25PM (#24194656)

Author here. Thanks for the appreciation!

Since this piece was written, I have discovered another notation by John Tromp which I consider to be the most breathtakingly beautiful:

- https://tromp.github.io/cl/diagrams.html

Here used by Paul Crowley to describe Graham's number:

- https://mindsarentmagic.org/2020/02/19/a-picture-of-grahams-...

- https://mindsarentmagic.org/2020/02/24/some-more-numbers-as-...

[ Parent | on HN ]

Re:A circuit-like notation for lambda calculus (2015) by sn41 on Monday August 17, 2020 @11:32PM (#24194989)

Really beautiful idea, and thanks for the link for John Tromp's idea. I will use your notation in my course.

I am sure, being from where you are, you have heard of "Henderson Diagrams" from SICP. They are also a great visual tool for functional programming.

From the Russian side of the cosmos, Drakon is a nice flowchart language (not a circuit diagram language), but I have never used it: https://en.wikipedia.org/wiki/DRAKON

[ Parent | on HN ]

Re:A circuit-like notation for lambda calculus (2015) by plutonorm on Tuesday August 18, 2020 @12:08AM (#24195165)

I've been thinking about ways to feed algorithms into a neural network. This looks perfect! Just give the images to a convolutional NN.

[ Parent | on HN ]

Re:A circuit-like notation for lambda calculus (2015) by ford_o on Tuesday August 18, 2020 @10:26AM (#24198923)

Why not feed it a text?

[ Parent | on HN ]

Re:A circuit-like notation for lambda calculus (2015) by ford_o on Tuesday August 18, 2020 @05:36AM (#24196797)

Does this actually give you any insight into lambda calculus?

[ Parent | on HN ]

Re:A circuit-like notation for lambda calculus (2015) by tankenmate on Tuesday August 18, 2020 @05:43AM (#24196830)

Have you looked at the similarity Church numerals and Peano axioms? [0]

[0] https://en.wikipedia.org/wiki/Peano_axioms

[ Parent | on HN ]