Explore >> Select a destination

You are here

 pedrokroger.net
Pedro Kroger | SICP in Python: 1.1 The Elements of Programming
| | danilafe.com
Lambda Calculus and Church Encoded Integers
3.0 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
3.8 parsecs away

Travel
| | How to define a recursive function in a language which doesn't support recursion using the Y combinator.
| | eli.thegreenplace.net
Right and left folds, primitive recursion patterns in Python and Haskell - Eli Bendersky's website
4.0 parsecs away

Travel
| |
| | 2ality.com
Understanding TypeScript's type notation
32.9 parsecs away

Travel
| This blog post is a quick introduction to TypeScript's notation for static types.