Outer Web | Explore

Explore >> Select a destination

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.	1.6 parsecs away Travel
\|	\|	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...	1.5 parsecs away Travel
\|	\|	deniskyashif.com On Recursive Functions · Denis Kyashif's Blog	1.4 parsecs away Travel
\|	\|	How to define a recursive function in a language which doesn't support recursion using the Y combinator.	1.4 parsecs away Travel
\|	\|	chava61photography.photo.blog Sunday Trees - 450 - This and That: The Continuation	13.0 parsecs away Travel
\|		Visit the post for more.	13.0 parsecs away Travel