Lambda (was: Refactoring in Tunes)
Thu, 20 Jan 2000 03:59:18 +0100
On Wed, Jan 19, 2000 at 06:19:47PM -0800, firstname.lastname@example.org 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.