/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 text.marvinborner.de
Variadic Fixed-Point Combinators
| | afnan.io
Lambda Calculus
1.5 parsecs away

Travel
| | [AI summary] The author explains the basics of lambda calculus, a theoretical model of computation invented by Alonzo Church that serves as the foundation for functional programming languages.
| | deniskyashif.com
On Recursive Functions ยท Denis Kyashif's Blog
1.3 parsecs away

Travel
| | How to define a recursive function in a language which doesn't support recursion using the Y combinator.
| | sookocheff.com
Recursive Lambda Functions the Y-Combinator | Kevin Sookocheff
1.8 parsecs away

Travel
| | In a purely functional language - like lambda calculus - programs are expressed as nested function calls. Repetition in such an environment requires that nesting of function calls continues until some condition is met. During the repetition, each function passes its result to the next function in the nested chain and this repetition is completed when a test for some condition passes. The repetitive behaviour I've just described is recursion:
| | coornail.net
10 Years of Dotfiles
18.7 parsecs away

Travel
| A recent Hacker News thread got me to revisit my dotfiles repository and reflect on the tools I've been using for the past 10+ years. Technologies like the cloud and docker came, but surprisingly nothing major has changed in these years.