Lambda (was: Refactoring in Tunes)

btanksley@hifn.com btanksley@hifn.com
Wed, 19 Jan 2000 19:13:22 -0800


> From: Laurent Martelli [mailto:martelli@iie.cnam.fr]
> Subject: Re: Lambda (was: Refactoring in Tunes)

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

>   >> The main area of thought I think is needed is how do you create a
>   >> good type system and genericity on top of the Joy basis.

>   billy> A very good question.  Static type safety errors are VERY
>   billy> useful, even if they're not required for correctness.  I'm
>   billy> thinking that annotated stack comments would be useful here.

> I think we should have a program checker that could check properties
> of programs such as correctness.

I believe we had already determined that was part of Tunes :).

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

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

> Laurent Martelli

-Billy