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: 12 years ago by Nick Palladinos
-
Complete lambda calculus interpreter with example of Y-combinator recursion
Calculate triangle numbers in the most inefficient way possible!
3 people like this
Like the snippet!Posted: 4 years ago by Brian Berns
-
Lambda
With love to Ilker...
2 people like this
Like the snippet!Posted: 10 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.)
6 people like this
Like the snippet!Posted: 4 years ago by Brian Berns