Lambda (was: Refactoring in Tunes)

[Francois-Rene Rideau]

On Wed, Jan 19, 2000 at 06:19:47PM -0800, btanksley@hifn.com wrote:
> I see typing as just a convenient way of having the compiler catch a very
> common class of stupid typos.

It's more than that. It's a form of passing programming contracts.
Between the programmer and the machine; among programmers.
Contracts that are automatically enforced by the system.

Of course, if the contract language (type-system) is not expressive enough,
or too cumbersome to use, then the formal contracts will only cover a small
part of what is important, or won't happen at all.

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[  TUNES project for a Free Reflective Computing System  | http://tunes.org  ]
In the beginning there was nothing.  And the Lord said "Let There Be Light!"
And still there was nothing, but at least now you could see it.