Alligator Eggs - лямбда для карапузов

[deniok]

Из блога Вадлера: http://wadler.blogspot.com/2007/05/oh-no-alligators.html

One of my great joys on visiting Berkeley was to meet Bret Victor, of Magic Ink fame. I mentioned to him that I had been working with a student on a visual lambda calculus, in part because I wanted a way to explain lambda calculus to my eight-year old daughter and son. He responded with a game involving alligators and their eggs, such a clever morphing of lambda calculus that it wasn't until I reached the end that I realized exactly what was going on.

So far, I've had a chance to show it to my daughter, who managed to successfully solve the problem at the end. She guessed a definition of 'not', and then applied 'not' to 'true' and checked that the result is 'false'. But she was most interested in drawing pictures of alligators! I expect it would be more fun to use if there was software that implemented the game.

Ну и имплементация: http://worrydream.com/AlligatorEggs/

Comments

[lomeo.livejournal.com]

Плохая модель: это не аллигаторы, а крокодилы - у аллигаторов носы длиннее и уже.

А так я просто в восхищении! Обожаю африканскую фауну!

[deni-ok.livejournal.com]

Твоим ракам на забаву ;)

[lomeo.livejournal.com]

:-) сломают и потеряют.