On Wed, Mar 19, 2008 at 12:48 AM, Benjamin L. Russell <[EMAIL PROTECTED]> wrote: > However, in thinking about how to adapt the game, I am > not quite sure how to incorporate the representation > of "->" (function type): > > * ???: "->" (function type) > > What ideas, if any, would anybody have on how "->" > (function type) could be represented in a simply-typed > lambda calculus version of Brett Victor's Alligator > Eggs?
Since color is already taken, how about representing types as skinny and fat alligators? Functions can then be represented by alligators with their tails joined together. For example, Nat -> Bool would be represented as a skinny alligator joined to a fat alligator. A skinny alligator will only eat anotehr skinny alligator, and then goes to take a nap (i.e. disappears). That leaves the fat alligator (bool). Just a sketch but maybe it will help you out! Justin _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
