Re: [Haskell-cafe] Interesting Thread on OO Usefulness (scala mailing list)

Andrew Wagner wrote:

[quote] Here's [a]language to to interpret (where postfix * means tupling):

Variables: x Integer literals: i Terms:

t = Lambda x*. t | Apply t t* | Var(x) | Num(i)

Can someone explain to me how I should read this? It supposedly explains what the postfix * means ("tupling") but I still can only guess how it translates to a Haskell datatype. Thanks, Martijn.