Explore >> Select a destination

You are here

 nguyenhuythanh.com
Y Combinator Is Beautiful | Thanh's Islet ???
| | danilafe.com
Lambda Calculus and Church Encoded Integers
2.6 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
2.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:
| | deniskyashif.com
On Recursive Functions ยท Denis Kyashif's Blog
3.2 parsecs away

Travel
| | How to define a recursive function in a language which doesn't support recursion using the Y combinator.
| | noelwelsh.com
Noel Welsh: What Functional Programming Is, What it Isn't, and Why it Matters
22.0 parsecs away

Travel
| [AI summary] This article explains the core principles of functional programming, focusing on local reasoning and composition as its main goals, and discusses how these concepts apply to code structure and maintainability.