Explore >> Select a destination
|
You are here 
|
danilafe.com | ||
| | | | |
nguyenhuythanh.com
|
|
| | | | | "Y Combinator" is the name of a "meta" startup (one that powers other startups), and also is considered the most beautiful term of Computer Science, or Lambda Calculus. You may encountered this kind of post somewhere else, but I cannot stop doing the same. It blown my mind. Spares the techinal jargons, we should just jump straight into Lisp code. I will try to go step by step in the hope that you will "get" it. | |
| | | | |
aartaka.me
|
|
| | | | | 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. | |
| | | | |
sookocheff.com
|
|
| | | | | Lambda calculus provides some of the foundational structures that functional programming is built from. It therefore seems fitting to start my journey through functional programming with a thorough examination of lambda calculus. This first post will introduce Lambda calculus with references to the book An Introduction to Functional Programming Through Lambda Calculus. Syntax The complete syntax for Lambda calculus is surprisingly small and comprehensible. This section lists the syntax in its entirety, while following sections break the syntax down to explain each part. | |
| | | | |
codewithstyle.info
|
|
| | | With this post, I would like to start a short series about monads. If you are familiar with some functional programming techniques in JavaScript (such | ||
