Re: Lambda (was: Refactoring in Tunes)

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

  >> From: Laurent Martelli [mailto:martelli@xxxxxxxxxxx]

  >> 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
martelli@xxxxxxxxxxx