Lambda (was: Refactoring in Tunes)

Laurent Martelli
20 Jan 2000 03:46:03 +0100

>>>>> "billy" == btanksley  <> writes:

  >> 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.

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

So do I. :-)

Laurent Martelli