4 ms·
Lambda Screen: Fractals in pure lambda calculus
- poslathian 3y agoThanks! 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.
- constantcrying 3y agoReally reminds me of a chapter in SICP, where something somewhat similar is demonstrated. Quite cool!
- pvg 3y agoNot 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 https://en.wikipedia.org/wiki/Iterated_function_system
- marvinborner 3y agoThanks, 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.
- naikrovek 3y agoThings 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.
- tromp 3y agoYesterday's discussion on reddit's r/lambdacalculus: [1] https://old.reddit.com/r/lambdacalculus/comments/1byllqk/fractals_in_pure_lambda_calculus/ https://old.reddit.com/r/lambdacalculus/comments/1byllqk/fra...
- queuebert 3y agoI've always wondered -- is lambda calculus really supposed to be written with periods '.'? Or is everyone too lazy to use \cdot?
- IsTom 3y agoPeriods. Sometimes other quantifiers like exists and all use them as well – to separate quantified variables from expression.