Lambda Screen: Fractals in pure lambda calculus

text.marvinborner.de

142 points·mmphosis··8 comments

Not mentioned in the piece but these particular fractals have a name that nicely matches the content - IFS (Iterated Function System) fractals. A bit more here https://en.wikipedia.org/wiki/Iterated_function_system

Thanks, didn't know that!

Note that the grey pixels can actually carry a state that their children can derive from. Some children may then turn black/white depending on their state. So in theory lambda screen can show any fractal, not only IFS.

Really reminds me of a chapter in SICP, where something somewhat similar is demonstrated. Quite cool!

Things like this put the fear of math into me.

I used to love math. Then I got a calculus teacher who hated calculus and he taught us all to hate math right along with him.

Thanks! This is a really great demo of how to bootstrap spatial volumes starting from just ordered pairs on a discrete set.

So cool. Hope to see more around this corner.

I've always wondered -- is lambda calculus really supposed to be written with periods '.'? Or is everyone too lazy to use \cdot?

Periods. Sometimes other quantifiers like exists and all use them as well – to separate quantified variables from expression.

Yesterday's discussion on reddit's r/lambdacalculus:

[1] https://old.reddit.com/r/lambdacalculus/comments/1byllqk/fra...

Reply on news.ycombinator.com