Lambda (was: Refactoring in Tunes)
Wed, 19 Jan 2000 18:19:47 -0800
> From: Laurent Martelli [mailto:firstname.lastname@example.org]
> 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