Lambda (was: Refactoring in Tunes)

Francois-Rene Rideau
Thu, 20 Jan 2000 03:59:18 +0100

On Wed, Jan 19, 2000 at 06:19:47PM -0800, 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 | ]
[  TUNES project for a Free Reflective Computing System  |  ]
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.