Lambda (was: Refactoring in Tunes)

[btanksley@hifn.com]

> From: Laurent Martelli [mailto:martelli@iie.cnam.fr]

> I don't know much about Joy yet, but must say that I do not like the
> idea of typing systems as it is usually used. I may repeat myself, but
> I have to say that to me typing are just pre/post conditions that may
> help a compiler at producing more efficient code, or prove that a
> piece of code is correct or not. 

I see typing as just a convenient way of having the compiler catch a very
common class of stupid typos.

> Laurent Martelli

-Billy