Lambda (was: Refactoring in Tunes)

Laurent Martelli
20 Jan 2000 04:32:36 +0100

>>>>> "billy" == btanksley  <> 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