Re: type-checking [Was: What is Perl?]

[Chaim Frenkel]

>>>>> "PS" == Peter Scott <[EMAIL PROTECTED]> writes:

PS> Perhaps the best of both worlds would be design-by-contract?  A la Conway?

Conway? Who's Conway?


Anyway, the design by contract might be interesting...

(I wonder if internals should require it. (Dan are you listening.))

And how would it look at the perl level...

sub foo ()
        :pre { # sub pre condition tests go here }

{
}
        :post { # sub post conditions go here }


Package Foo;

:pre { # object pre conditions go here }

:invariant { # object invariants go here }

:post { # object post conditions go here }



-- 
Chaim Frenkel                                        Nonlinear Knowledge, Inc.
[EMAIL PROTECTED]                                               +1-718-236-0183