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

[Martijn van Steenbergen]

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.