Animated Lambda Calculus Diagrams In NodeBox 3?

Nunud's Avatar


16 Jul, 2018 06:59 AM

Hello there!

I just heard about this amazing (actually amazing) thing called lambda calculus. It's basically the tiniest, most versatile programming language... But it's textual notation can be scary for beginners...

In a "newbie effort" to learn both lambda calculus *and* NodeBox 3 at the same time (I have zero coding experience), I was wondering if I could make a NodeBox 3 version of the visual (animated) notation invented by John Tromp. Might help me (and others?) understand better... I'll add a picture, but there are simple animated versions also.

Here's the author's quick presentation of his lambda diagrams: ""

Might be a bit ambitious for a first ever coding project, but I like the idea, soooo... :)

So, in my newbie mind, I'm thinking I should first build a "mini lambda self-interpreter", using NodeBox's lists features, and only then work on the visual aspects... But that's about it! :-/

Can a user even click things and "custom-built" buttons, or enter text in the viewer pane?

If not, I'm thinking maybe custom made nodes and their corresponding custom made parameter panes could do the trick instead...

So here I am, hoping that some of you guys like lambda calculus enough to help me out! :)

Any leads on where to start implementing this in (my now favorite piece of software) NodeBox 3?

Thank you in advance!


PS: The picture below shows a 206 bit binary lambda-calculus (blc) self-interpreter.

  1. 1 Posted by Nunud on 16 Jul, 2018 05:51 PM

    Nunud's Avatar

    First step: Learning about Truth Tables, and also Combinatory Logic...

    I hear Raymond Smullyan's "To Mock A Mockingbird" is a good place to start...

Reply to this discussion

Internal reply

Formatting help / Preview (switch to plain text) No formatting (switch to Markdown)

Attaching KB article:


Already uploaded files

  • photo_2018-07-16_08-18-50.jpg 15.8 KB

Attached Files

You can attach files up to 10MB

If you don't have an account yet, we need to confirm you're human and not a machine trying to post spam.

Keyboard shortcuts


? Show this help
ESC Blurs the current field

Comment Form

r Focus the comment reply box
^ + ↩ Submit the comment

You can use Command ⌘ instead of Control ^ on Mac

Recent Discussions

23 Feb, 2024 07:39 PM
23 Feb, 2024 10:02 AM
22 Feb, 2024 05:51 AM
21 Feb, 2024 05:27 PM
21 Feb, 2024 04:49 PM


16 Feb, 2024 05:24 PM
06 Feb, 2024 04:45 AM
19 Jan, 2024 09:50 AM
13 Jan, 2024 03:47 AM
05 Jan, 2024 05:10 PM
05 Jan, 2024 04:54 PM