Lambda (was: Refactoring in Tunes)

[Laurent Martelli]

>>>>> "billy" == btanksley  <btanksley@hifn.com> writes:

  >> But couldn't it use type infering, à la Caml ?

  billy> In order to use type annotations to produce error messages,
  billy> type inference is _essential_.  The type annotations would
  billy> simply allow the inference engine to produce error messages
  billy> which are more appropriate to the problem.

OK. So annotations should be what they are : annotations. That is,
they should not be part of the program. They should be add-ons. Some
sort of other program (an aspect program ?).

-- 
Laurent Martelli
martelli@iie.cnam.fr