/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

 afnan.io
Lambda Calculus - afnan.io
| | deniskyashif.com
On Recursive Functions ยท Denis Kyashif's Blog
3.4 parsecs away

Travel
| | How to define a recursive function in a language which doesn't support recursion using the Y combinator.
| | danilafe.com
Lambda Calculus and Church Encoded Integers
1.9 parsecs away

Travel
| | [AI summary] The blog post explores lambda calculus, its role in computation, and how Church-encoded integers are used to represent natural numbers through abstraction and function application.
| | sookocheff.com
Recursive Lambda Functions the Y-Combinator | Kevin Sookocheff
1.9 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:
| | limited.systems
Cleaner code with functional programming Wim Vanderbauwhede
18.9 parsecs away

Travel
| An introduction to some powerful functional programming techniques in Raku and Python.