/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

 azdavis.net
Terms, types, and functions
| | danilafe.com
Lambda Calculus and Church Encoded Integers
1.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.
| | sreekar.ch
The return of functional programming | Musings and digressions
1.5 parsecs away

Travel
| | But first What is functional programming Functional programming is a programming paradigm in which most computation is treated as evaluation of functions. It emphasizes on expression evaluation instead of command execution. Wikipedia When did it all start In the 90s, there was a war between declarative programming and imperative programming. Declarative programming then represented by logic programming languages like Prolog and early functional languages like Erlang. And imperative languages were r...
| | afnan.io
Lambda Calculus
1.1 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.
| | aartaka.me
Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?
6.7 parsecs away

Travel
| Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus.