Programming With Nothing: FizzBuzz in the lambda calculus in Ruby
1–10 of 55 posts
Re: Programming With Nothing: FizzBuzz in the lambda calculus in Ruby
#2The presentation from which this article is adapted was a definite highlight of the Ru3y Manor conference (and received rapturous applause).
I highly recommend watching the video of the original presentation at http://rubymanor.org/3/videos/programming_with_nothing/ as Tom Stuart's public speaking skills made this a thoroughly enjoyable (if a little mind-bending) talk.
Re: Programming With Nothing: FizzBuzz in the lambda calculus in Ruby
#3The presentation from which this article is adapted was a definite highlight of the Ru3y Manor conference (and received rapturous applause). I highly recommend watching the video of the original presentation at http://rubymanor.org/3/videos/programming_with_nothing/ as Tom Stuart's public speaking skills made this a thoroughly enjoyable (if a little mind-bending) talk.
I agree. This is presentation was brilliant and I'd really encourage people to watch it.
Re: Programming With Nothing: FizzBuzz in the lambda calculus in Ruby
#4That was pretty cool. Interesting to note that the numbers he used are essentially an implementation of the Peano Axioms, where the successor function wraps the predecessor in a lambda. (http://en.wikipedia.org/wiki/Peano_Axioms)
Here's a simple recursively defined number system in scheme: https://gist.github.com/1466985
Re: Programming With Nothing: FizzBuzz in the lambda calculus in Ruby
#5The presentation from which this article is adapted was a definite highlight of the Ru3y Manor conference (and received rapturous applause). I highly recommend watching the video of the original presentation at http://rubymanor.org/3/videos/programming_with_nothing/ as Tom Stuart's public speaking skills made this a thoroughly enjoyable (if a little mind-bending) talk.
Tom’s talk blew my mind. Can't recommend watching this enough.
Re: Programming With Nothing: FizzBuzz in the lambda calculus in Ruby
#6Holy cow.
This could have replaced ~8 weeks of my CS languages/compilers class, and I would have understood the material better at the end of it.
Re: Programming With Nothing: FizzBuzz in the lambda calculus in Ruby
#7The same can be done with Python lambdas:
>>> ZERO = lambda f: lambda x: x
>>> FIVE = lambda f: lambda x: f(f(f(f(f(x)))))
>>> to_int = lambda f: f(lambda x: x+1)(0)
... etc.Re: Programming With Nothing: FizzBuzz in the lambda calculus in Ruby
#8The only thing I miss here is pointing out that you can use function application (\map -> ...)(definition_of_map) instead of defines/assignments.
But then the final piece of code would not look as awesome so whatever :)
Re: Programming With Nothing: FizzBuzz in the lambda calculus in Ruby
#9this is the definition of a turing tarpit.
Re: Programming With Nothing: FizzBuzz in the lambda calculus in Ruby
#10Being on the frontpage here... shouldn't there be an extra section "Recursion, briefly"... (http://en.wikipedia.org/wiki/Y_combinator)