Alligator Eggs

Tuesday, July 10th, 2007 | Fun, Java, Programming, Work, computer science, language

I grab this url from a stashed place in the web http://worrydream.com/AlligatorEggs/ it’s a nice puzzle
alligator game.

This game represents the untyped lambda calculus. A hungry alligator is a lambda abstraction, an old alligator is parentheses, and eggs are variables. The eating rule corresponds to beta-reduction. The color rule corresponds to (over-cautious) alpha-conversion. The old age rule says that if a pair of parentheses contains a single term, the parentheses can be removed.
I’m sure that after 4.0 drools release I’m going to implement this game as a drools DRL.

No comments yet.

Leave a comment

 

July 2007
M T W T F S S
« Jun   Oct »
 1
2345678
9101112131415
16171819202122
23242526272829
3031