Lambda Calculus in Javascript

Since (?:ECMA|Java)script supports closures, it is Lambda-calculus ready. I googled examples but there seems none so I made one.

Welcome to the world of λ!

Source:

// define
var zero = function(f){
             return function(x){
               return x}};
var succ = function(n){
             return function(f){
               return function(x){
                 return f(n(f)(x))}}};
var add = function(m){
             return function(n){
               return function(f){
                 return function(x){
                   return m(f)(n(f)(x))}}}};
var mul = function(m){
            return function(n){
              return function(f){
                return m(n(f))}}};
var pow = function(m){
            return function(n){
              return n(m)}};
// execute
function $(id){ return document.getElementById(id) };
var one     = succ(zero);
var two     = succ(one);
var four    = add(two)(two);
var eight   = mul(two)(four);
var sixteen = pow(two)(four);
var numbers = [one, two, four, eight, sixteen];
$('result').innerHTML = '';
for (var i = 0; i < numbers.length; i++){
  var n = numbers[i];
  $('result').innerHTML += numbers[i](function(n){return 1+n})(0);
  $('result').innerHTML += ' = ';
  $('result').innerHTML += numbers[i](function(n){return '(1+' + n + ')'})(0);
  $('result').innerHTML += '<br />';
}

Show me!

 

Also note that this example contains no <script> tag but the "Show Me!" still works. Trick? onclick="eval(document.getElementById('lambda').firstChild.nodeValue)".

Don't you love dynamic lanugages?

Dan the (?:ECMA|Java)scripting Lambacamel

Comments

[Robert]

Managed Hosting, Colocation and Data Center Services by victoryushchenkonashpresudent ...

[Maxim]

The Iraqi government says guards from US security firm Blackwater killed more people than previously thought.

[BRADLEY Elijah]

Good news!

[bla]

bla

[DEREK Flo]

H!, nice day, look this:
Netvouz is a social bookmark manager where you can store your favorite links online and access them from any computer.

End ^) See you

[Hobosic]

Hello,
Not sure that this is true) but thanks

Have a nice day
Hobosic

[work at home]

Thank for sharing the great script :-)

[work at home]

thanks for sharing the great script.

[Yaehoo]

Hi, It's the second time i'm posting you without a reply. I found your site using Yaehoo, does your site support firefox?

[Yaehoo]

Hi, It's the second time i'm posting you without a reply. I found your site using Yaehoo, does your site support firefox?

[molly]

rmgnHh viTwQ937Baww5mLp1oWxu

[evalinux.wordpress.com]

Well, the most astonishing fact is the script-less approach.

[Matt Might]

Why stop with Church numerals?

You can do the Y combinator:

http://matt.might.net/articles/implementation-of-recursive-fixed-point-y-combinator-in-javascript-for-memoization/

Now you don't need recursion or loops!

[hy31Olivia]

We can just only imagine about such great talent in thesis papers related to this good topic writing. I unremarkably take the aid of the reliable dissertation service. In such situation it fits me perfectly.

[1267880153]

coCI2X Excellent article, I will take note. Many thanks for the story!

[buy cialis]

Hi;

little bit late in the party :)

well i just recently update win 7, and i also update driver on gt220 from 7.15 to 8.15. and now i experienced first glitch screen then black death screen.

i reboot my pc, this time it happens during welcome screen.

i again reboot my pc in safe mode and went to device manager and roll back the diplay driver.

it works fine but when i try to go in nvidia control panel. i get this message:

The NVIDIA Dispay Panel extension cannot be created.
Possible reason include:
Version mismatch. Reinstalling display drivers may solve this problem.

i have not yet try 8.16 & 9.1.

[sildenafil citrate]

This was a little hard for me to piece together. I apologize if I'm misunderstanding any of it.

Sex is a really touchy analogy. Lots of really smart people have gone on at great length about it as a root cause for various things. With the advantage of our current cultural fixation on it, it's not too hard to see that this is terribly wrong. Sex is rather empty and kind of difficult to even pull off without attraction. And attraction is an effect caused by a rather wholistic view of someone. No single value is enough to make you think "OMG, I want, let's run off and SPAWN together!" Sex is not a cause at all, it's the reaction to the effect of being attracted. The root cause is your understanding of the person you're attracted to.

The parallels you're drawing with fantasy make sense to me this way too. The reaction is the power creep. The reaction has to scale in some fashion we can understand based on the original input (not many people would buy a D&D expansion called The Penultimate Guide to Being the Untouchable Godly Overlord of All You Survey, not even if the package included a Hostess twinkie). The root causes are creative impulses and the desire to share them. The effect is the game. The cooperatively told story. Structuring within the story is used to help convey more accurately, to make them easier to understand. Roleplaying games have this in
common with other forms of storytelling. The rule sets, which are unique to gaming, are there to help share the storytelling, because the game master tells the overall story and narrates but the players all tell the story of their characters.

[Werner]

Hallo,
ich kam durch Zufall auf diese Seite und möchte einen netten Gruß hinterlassen. Ich würde mich freuen, wenn ihr auf meiner Homepage auch einmal vorbei schauen würdet! Vielleicht wollt ihr einmal auf Sylt Westerland oder an der Ostsee Urlaub machen?! Wir haben dort sehr schöne Meerblickwohnungen. Vielleicht bis bald einmal!
Herzliche Grüße

http://www.OstseeblickHolm.de

[ativan buy]

it works fine but when i try to go in nvidia control panel. i get this message

[4 week cna classes]

oh interesting! that's quite an information there and i think it IS a site that is to be reckoned with if you own a small business and you need to be on top of what people are saying about you now

[Website Design and Maintenance Agreement]

oh interesting! that's quite an information there and i think it IS a site that is to be reckoned with if you own a small business and you need to be on top of what people are saying about you now.

[viagra online]

This looks like a wonderful place to relax. I too enjoy the process of watching the seedings grow. Your work is breath-taking. Good luck at renagade. =)I am pleased to say it is interesting that this blog has a great variety of viewpoints to better understand the situation and that is what most caught my attention and has a great variety of comments

[Dana]

Really interesting article content. the info that you shown is amazing and most prominently i liked the way you shared things here.

[custom football jersey]

Your work is breath-taking. Good luck at renagade. =)I am pleased to say it is interesting that this blog has a great variety of viewpoints to better understand the situation and that is what most caught my attention and has a great variety of comments

[cna classes in louisville ky]

Johny Long
I think I acknowledged your point @ 1:25, right?