Snippets tagged lambda calculus
-
Actors acting as Lambdas
The Untyped Lambda Calculus encoded as actors (F#'s MailboxProcessors)
2 people like this
Like the snippet!Posted: 13 years ago by Nick Palladinos
-
Complete lambda calculus interpreter with example of Y-combinator recursion
Calculate triangle numbers in the most inefficient way possible!
4 people like this
Like the snippet!Posted: 5 years ago by Brian Berns
-
Lambda
With love to Ilker...
2 people like this
Like the snippet!Posted: 11 years ago by sforkmann
-
Step-by-step explanation of the Y combinator
Describes a function called "fix" that can be used to generate recursive functions from non-recursive functions, with some simple examples. (Updated with slightly improved comments.)
9 people like this
Like the snippet!Posted: 5 years ago by Brian Berns