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

[provides access]

I am not a person who is easily delighted but I have to say your work blew me away. So much ideas and relevant detaisl that you put into it made me see your point of view. Thanks for communicating your reasonable inputs.

[kamagra]

I am simply out of words after reading your blog. I want to appreciate the way you handled such a complicated subject. Nothing better than this could be written in such a simple manner! Hats off dude!!!

[Muslim Matrimonials]

I also developed calculator in Java Script with Alert box.

[Careprost]

Hola,
Ha hecho un trabajo muy bueno. Hay muchas personas en busca de eso ahora van a encontrar suficientes fuentes por tus consejos.espera para obtener más consejos acerca de que

[snowlin]

http://fturturs.typepad.com/blog/

[Generic Viagra]

Hey, Really great work,I would like to join your blog anyway so please continue sharing with us,........

[Generic Viagra]

Hola amigo, este es uno de los mejores blogs que he visto, que puede incluir algunas ideas más en el mismo tema. Todavía estoy esperando algunas ideas interesantes de su lado en el próximo post.@!@!@@@

[Forged documents]

That an interesting post. I never thought about this before. But, looking back at different situations, this might be right. Keep it up friend!

[careprost]

Really great post, Thank you for sharing This knowledge.Excellently written article, if only all bloggers offered the same level of content as you, the internet would be a much better place. Please keep it up!...

[Generic Minipress xl gits]

Això és realment interessant, ets un blogger molt hàbil. M'he unit a la seva alimentació i esperem que busquen més del seu missatge meravellós. A més, he compartit el seu lloc en els meus xarxes socials !

[windshield replacement]

That looks a little familiar to me. I just dont know whom i saw the script.

[Gucceexappy]

casino bonus , jogos de casino , roulette online. online slots.

[Mobile Computing]

Wow, Great post,Nice work, I would like to read your blog every day Thanks

[Generic Viagra]

I think you are right when you say this. Hats off man, what a superlative knowledge you have on this subject…hope to see more work of yours.

[Seo Services India]

Hi guys, I want to say thanks for this useful information, I shared it on my wall to be honnest cause I LIKE it(:

[buy viagra]

Thank You a ton for writing such a wonderful piece of information. Keep sharing such ideas in the future as well. This was actually what I was looking for, and I am glad to came here! Thanks for sharing the such information with us.

[Generic Drugs Exporter]

Si vous continuez sur la soumission d'articles divertissants sur votre site web, il ya toujours une plus grande possibilité qu'un certain nombre de disciples se rendra à votre page Web.

[Avodart]

Great loved it, will be waiting for your future posts Thank you for sharing.

[Generic Viagra]

I wonder how you got so good. This is really a fascinating blog, lots of stuff that I can get into. One thing I just want to say is that your Blog is so perfect!

[Online casino poker tournament]

rvjyqebolphbj, online poker, JpRxCjZ, [url=http://onlinepokerpoland.com/]Free holdem online play poker texas[/url], cWmKajX, http://onlinepokerpoland.com/ Free texas holdem poker games online, DdXluUd, NFL Betting 2011, vknpvkK, [url=http://marcellecreativecrochet.com/]NFL Betting 2011[/url], hOwUgMr, http://marcellecreativecrochet.com/ NFL Betting, RkIHVtW, dedicated windows hosting, BjtGXrw, [url=http://webhostingreview.org/category/windows-hosting/]windows hosting[/url], bcEUdmg, http://webhostingreview.org/category/windows-hosting/ windows hosting, uZbUmaK, Bet On NFL, ADcMWTj, [url=http://golf-expert-witness.com/]Bet on mvp for nfl division championship games[/url], ggSdInu, http://golf-expert-witness.com/ Bet On NFL 2011, ZNrzFic, Makeityourring Diamond Engagement Rings, gAdvDeM, [url=http://www.theextendedstayhotels.com/makeityourring-diamond-engagement-rings/makeityourring-diamond-engagement-rings]Makeityourring Diamond Engagement Rings[/url], MbFRxuc, http://www.theextendedstayhotels.com/makeityourring-diamond-engagement-rings/makeityourring-diamond-engagement-rings Makeityourring Diamond Engagement Rings, QXXVPNI, joomla web hosting, NMPXAwC, [url=http://www.nffwz.com/joomla-hosting/]best joomla hosting[/url], sYuHlCy, http://www.nffwz.com/joomla-hosting/ joomla hosting, TNkYiWI.

[Online casino poker tournament]

rvjyqebolphbj, online poker, JpRxCjZ, [url=http://onlinepokerpoland.com/]Free holdem online play poker texas[/url], cWmKajX, http://onlinepokerpoland.com/ Free texas holdem poker games online, DdXluUd, NFL Betting 2011, vknpvkK, [url=http://marcellecreativecrochet.com/]NFL Betting 2011[/url], hOwUgMr, http://marcellecreativecrochet.com/ NFL Betting, RkIHVtW, dedicated windows hosting, BjtGXrw, [url=http://webhostingreview.org/category/windows-hosting/]windows hosting[/url], bcEUdmg, http://webhostingreview.org/category/windows-hosting/ windows hosting, uZbUmaK, Bet On NFL, ADcMWTj, [url=http://golf-expert-witness.com/]Bet on mvp for nfl division championship games[/url], ggSdInu, http://golf-expert-witness.com/ Bet On NFL 2011, ZNrzFic, Makeityourring Diamond Engagement Rings, gAdvDeM, [url=http://www.theextendedstayhotels.com/makeityourring-diamond-engagement-rings/makeityourring-diamond-engagement-rings]Makeityourring Diamond Engagement Rings[/url], MbFRxuc, http://www.theextendedstayhotels.com/makeityourring-diamond-engagement-rings/makeityourring-diamond-engagement-rings Makeityourring Diamond Engagement Rings, QXXVPNI, joomla web hosting, NMPXAwC, [url=http://www.nffwz.com/joomla-hosting/]best joomla hosting[/url], sYuHlCy, http://www.nffwz.com/joomla-hosting/ joomla hosting, TNkYiWI.

[Levitra]

Great information you got here. I've been reading about this topic for one week now for my papers in school and thank God I found it here in your blog. I had a great time reading this.

[zma]

my god! so detailed work here!!! very awesome! thank you! zma

[linapapse]

Come to see us at the moment to

grasp more information and facts

in the matter of Visit us

contemporary to grasp more

knowledge and facts regarding

Creatine

[Odobbydoksida]

Hosting - to użyczanie przez dostawcę usług internetowych zasobów serwerowni. Jeszcze prościej ujmując polega to na "zarezerwowaniu" daniu do dyspozycji danej pojemności dysku twardego, na której wolno magazynować pliki tworzące istote stron internetowych i bądź udzielenie powierzchni dysku jako miejsca dla plików "leżących" w skrzynce mailowej. Inna wersja hostingu to udzielenie większych obszarów dysku, a nawet pełnego serwera czy też kilku - w charakterze namacalnego nośnika na rzecz dużego serwisu internetowego, portalu, grupy dyskusyjnej i innych. W każdej z nich chodzi o użyczenie fizycznego położenia (dysku lub dysków twardych) dla ulokowania rozlicznych postaci informacji osiągalnych przez Internet.Wiele usług hosting jest płatnych. Właśnie dlatego nie chcemy Cię kłamać. Nasze usługi hostingrównież są odpłatne, z z jedną różnicą, nasze usługi hosting są jednymi z najbardziej opłacalnych w sieci. Proponujemy hosting na najlepszym poziomie, po najniższejdopuszczalnej cenie. Przekonaj się sam i sprawdź naszą jakość! Inwitujemy na stronę. Nie chcemy Ci wpajać, iż dostaniesz od nas darmowe usługi hosting. Jednak mamy sposobność zagwarantować Ci jedną sprawę. Nasze usługi hosting są najprawdopodobniej najtańszymi domenami, jakie możesz odszukać w Internecie. Jednak pomimo niskich cen za usługi hosting, dajemynajwiększą możliwą jakość naszych domen. Nie dowierzasz? Zobacz Jeśli tak to już teraz wejdź na nasz portal i nabierz przekonania o przwdzie tego wpisu Nasze usługi hosting oferują najbardziej solidną jakość w niedużej cenie. Nie będziesz musiał wypłcać dużych pieniędzy za usługi hosting. Jeżeli wpadniesz pierwszy raz na naszą stronę, wytłumaczymy Ci wszystko. W naszej ofercie znajdziesz dużo opłacalnych zniżek dla nowoprzybyłych kontrahentów. Jak natomiast jesteś naszym stałym gościem, oczekuj, że będziesz miał sposobność skorzystać z niespotykanych nigdzie indziej promocji. Zajrzyj już teraz na nasz portal. Przekonaj się ile jesteś w stanie zachować pieniędzy w portfelu z nami.