Animated Lambda Calculus Diagrams In NodeBox 3?

Nunud's Avatar

Nunud

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: "https://tromp.github.io/cl/diagrams.html"

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!

Cheers!

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

Generic

? 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

18 Nov, 2024 11:24 PM
18 Nov, 2024 09:01 PM
07 Nov, 2024 10:53 AM
02 Nov, 2024 11:22 AM
01 Nov, 2024 12:41 AM

 

01 Oct, 2024 07:59 AM
30 Sep, 2024 11:37 PM
30 Sep, 2024 11:11 AM
30 Sep, 2024 02:37 AM
28 Sep, 2024 10:33 AM
26 Sep, 2024 06:41 AM