/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
| | degoes.net
A Glossary of Functional Programming - John A De Goes
1.7 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | 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.
| | 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.
| | comonad.com
The Comonad.Reader » Free Monoids in Haskell
20.0 parsecs away

Travel
| [AI summary] A technical post explaining why lists are not free monoids in Haskell due to lazy evaluation and infinite values, and demonstrating how to construct proper free monoids using universal quantification, followed by spam comments.