Lambda (was: Refactoring in Tunes)
20 Jan 2000 04:32:36 +0100
>>>>> "billy" == btanksley <firstname.lastname@example.org> 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 ?).