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

Martijn van Steenbergen martijn at van.steenbergen.nl
Mon May 4 09:08:25 EDT 2009

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.



More information about the Haskell-Cafe mailing list