Lambda (was: Refactoring in Tunes)
Wed, 19 Jan 2000 18:19:47 -0800

> From: Laurent Martelli []

> 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