On Wed, Sep 29, 2010 at 21:59, miasma <[email protected]_irc> wrote:
Thanks for the code. It's always interesting to see some Scala! > val (a_rabbit2, carrot2) = a_rabbit eat carrot > val (a_cow2, grass2) = a_cow eat grass Ah, but you do not change the state of carrot or grass, or do you? > val (a_human4, a_beef2) = a_human3 eat a_beef > // a_human6 eat a_beef2 Same remark: a_beef doesn't change state. I understood the challenge as catching a_human3 eat a_beef a_human6 eat a_beef At compile-time. a_beef was eaten once, you cannot eat it again. If doing state passing like this is authorized, I might be doable doing 11/11 with D, at the type level. Philippe
